Update PM git server

This commit is contained in:
2020-12-07 13:47:17 +01:00
parent 9a0ea08d72
commit 756c5dff92
19 changed files with 23 additions and 23 deletions

View File

@@ -21,7 +21,7 @@ stdenv.mkDerivation rec {
name = "saiph";
src = builtins.fetchGit {
url = "ssh://git@bscpm02.bsc.es/DSLs/saiph.git";
url = "ssh://git@bscpm03.bsc.es/DSLs/saiph.git";
ref = "${gitBranch}";
};