diff options
author | Vincent Ambo <mail@tazj.in> | 2022-01-17T14·21+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-01-18T19·22+0000 |
commit | 4753e2f28662ffd922d0729cf0996f3a0e7f0dfa (patch) | |
tree | 499e380e172e51490dfdf02853576c58f3763c20 /tools/gerrit-update.nix | |
parent | e0d00b962125ea5d0f5858bce62536bef8b6f7b3 (diff) |
chore(wpcarro/*): Remove some dead code r/3627
Found this while looking for non-3p uses of builtins.fetchGit. The hailgun package is in the package set now, and the other thing was unused (and it's also in the package set). Change-Id: I6f519fd6014bbed90fc6cee695bed7afbcf55717 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4984 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'tools/gerrit-update.nix')
0 files changed, 0 insertions, 0 deletions