Use new format for urls

2020-06-25 20:05:12 +02:00
parent 6b5e5aafa9
commit 53aebe5846
2 changed files with 2 additions and 2 deletions
--- a/bsc/nanos6/git.nix
+++ b/bsc/nanos6/git.nix
@@ -21,7 +21,7 @@ stdenv.mkDerivation rec {
  cacheline-width = "64";

  src = builtins.fetchGit {
-    url = "git@bscpm02.bsc.es:rarias/nanos6";
+    url = "ssh://git@bscpm02.bsc.es/rarias/nanos6";
    rev = "a471bb29023ae526ecfc5db95cf06cabf800d842";
    ref = branch;
  };