deploy-2024-10-18T1540-45f7268

chore: update build script with new sourcegraph package name

Change-Id: Ic822b838b9e29b1b5e1495422df01c6952549a97

deploy-2022-05-12T1308-d515d7a

build-deploy: add script again

Change-Id: Iea43e9344ebe9297c9b085eb82a8a341be3cde52

deploy-2022-02-16T1252-b13d18d

zoekt-mirror-github: handle onlyActive option (#3)

This filters out archived GitHub repos

Co-authored-by: Thomas Cardonne <thomas.cardonne@adevinta.com>

deploy-2021-12-06T1316-eaa0014

zoekt-mirror-gerrit: allow to index only active projects (#2)

Add -only-active option in configuration to ignore READ_ONLY Gerrit projects

Co-authored-by: denis.fortin <denis.fortin@adevinta.com>

deploy-2021-12-06T0903-4841e59

Merge pull request #1 from leboncoin/gerrit-mirror-delete-repos

zoekt-mirror-gerrit: delete stale repos

deploy-2021-12-03T0922-4841e59

Merge pull request #1 from leboncoin/gerrit-mirror-delete-repos

zoekt-mirror-gerrit: delete stale repos

deploy-2021-12-01T1724-1e59c33

zoekt-mirror-gerrit: fix issue when anonymous http is disabled on Gerrit

Change-Id: I6f3d4fd35241bc33ece1f5baad191606ff94b5fd