diff options
author | Vincent Ambo <mail@tazj.in> | 2022-05-09T14·05+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-05-10T08·08+0000 |
commit | 2cf6acc16038730eb933c9a06d13522ba0ad1c1b (patch) | |
tree | 3c1880597a4af906ac50c3fa15ece08209d97b89 /tools/gerrit-update.nix | |
parent | 93bfcc970244d377315ae806dc31857ef7862e08 (diff) |
chore(3p/agenix): Use pkgs.fetchFromGitHub for agenix source r/4037
It costs me money and time to use uncacheable builtin fetchers. Change-Id: Ie38923667cc6ac54ee85701088c9a5245ccf1c25 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5549 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tools/gerrit-update.nix')
0 files changed, 0 insertions, 0 deletions