Add fetchGitMirror function

2025-10-16 10:29:08 +02:00
parent 3edf00af0c
commit 14a67cda34
3 changed files with 47 additions and 14 deletions
--- a/pkgs/bench6/default.nix
+++ b/pkgs/bench6/default.nix
@@ -14,16 +14,19 @@
 , openblas
 , ovni
 , gitBranch ? "master"
-, gitURL ? "ssh://git@bscpm04.bsc.es/rarias/bench6.git"
 , gitCommit ? "bf29a53113737c3aa74d2fe3d55f59868faea7b4"
+, gitUrls ? [
+  "ssh://git@bscpm04.bsc.es/rarias-ksadfkdf/bench6.git"
+  "https://github.lll.com/rodarima-sdfsd/bench6.git"
+]
 }:

 stdenv.mkDerivation rec {
  pname = "bench6";
  version = "${src.shortRev}";

-  src = builtins.fetchGit {
-    url = gitURL;
+  src = lib.fetchGitMirror {
+    urls = gitUrls;
    ref = gitBranch;
    rev = gitCommit;
  };