diff options
Diffstat (limited to 'third_party/gerrit_plugins')
-rw-r--r-- | third_party/gerrit_plugins/default.nix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/third_party/gerrit_plugins/default.nix b/third_party/gerrit_plugins/default.nix new file mode 100644 index 000000000000..932b98c35660 --- /dev/null +++ b/third_party/gerrit_plugins/default.nix @@ -0,0 +1,10 @@ +{ pkgs, ... }: + +let inherit (pkgs) fetchurl; +in { + # https://gerrit.googlesource.com/plugins/owners + owners = fetchurl { + url = "https://storage.googleapis.com/tazjins-data/tvl/owners_3.2.jar"; + sha256 = "1xw1q3g0353aw5jqxp69n85f8y57l2p51np37n8r34kzbn5r4iz7"; + } // { name = "owners"; }; +} |