Correct git path for scm mdp repo

pull/651/head
kompotkot 2022-08-15 17:15:32 +00:00
rodzic 43162ac7d2
commit 94c24466c5
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -14,7 +14,7 @@ let
"."
(getEnv "MDP_GIT")
(fetchGit {
url = "git@gitlab.com:mixrank/mdp.git";
url = "git@scm.mixrank.com:mixrank/mdp.git";
rev = "309e04f3f646847af3b7c084b01cfd72e1db92c8";
})
] ++ scm_repos;