diff options
| author | Vincent Ambo <mail@tazj.in> | 2021-02-19T14·44+0200 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2021-02-19T16·40+0000 |
| commit | 0f1a497361893e5324e61812a8db6ca77369789f (patch) | |
| tree | b5c7600ed5c345e8041ccfba0b13827ff7c53e9d /bin | |
| parent | 690994a28cc3045c14268996144e9302fa43bf68 (diff) | |
chore(3p): Remove git-bug r/2223
We stopped using this in favour of //web/panettone quite a while ago, so lets clean it up. Change-Id: I8aa8d86288933d470ab3962ffbb60294eaddd27b Reviewed-on: https://cl.tvl.fyi/c/depot/+/2540 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: lukegb <lukegb@tvl.fyi>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/__dispatch.sh | 3 | ||||
| l--------- | bin/git-bug | 1 |
2 files changed, 0 insertions, 4 deletions
diff --git a/bin/__dispatch.sh b/bin/__dispatch.sh index 5e2aafb5fe..4aba74158c 100755 --- a/bin/__dispatch.sh +++ b/bin/__dispatch.sh @@ -19,9 +19,6 @@ case "${TARGET_TOOL}" in depot-build) attr="tools.depot-build" ;; - git-bug) - attr="third_party.git-bug" - ;; gerrit) attr="tools.gerrit-cli" ;; diff --git a/bin/git-bug b/bin/git-bug deleted file mode 120000 index 8390ec9c96..0000000000 --- a/bin/git-bug +++ /dev/null @@ -1 +0,0 @@ -__dispatch.sh \ No newline at end of file |