Fix updater script for json pins
commit8d902b091beb7754556c2fd48700ea5d486220f5
authorRodney Lorrimar <rodney.lorrimar@iohk.io>
dateTue 2 Apr 2019, 12:18 (8 years ago)
parent74c2b5e
scripts/update-external.nix+1−1
@@ -6,7 +6,7 @@
66with stdenv.lib;
77
88let
9− repoHTTPS = "https://github.com/input-output-hk/${name}.nix.git";
9+ repoHTTPS = "https://github.com/input-output-hk/${name}.nix";
1010 repoSSH = "git@github.com:input-output-hk/${name}.nix.git";
1111 sshKey = "/run/keys/buildkite-${name}-ssh-private";
1212in