rarias/jungle
rarias/jungle
2
0
Fork 3
Code Issues 53 Pull Requests 10 Actions Packages Projects Releases Wiki Activity

Allow fetching from multiple *private* git repositories mirrors #202

Open
rarias wants to merge 2 commits from robust-fetchGit into master
pull from: robust-fetchGit
merge into: rarias:master
Conversation 0 Commits 2 Files Changed 5 +119 -235

2 Commits

Author SHA1 Message Date
Rodrigo Arias Mallo
9b491e8d01 Add fetchGitMirror function
All checks were successful
CI / build:cross (pull_request) Successful in 13s
Details
CI / build:all (pull_request) Successful in 5m33s
Details
2025-11-21 15:17:16 +01:00
Rodrigo Arias Mallo
86edeba765 Add nix patch to implement builtins.catchAll 2025-11-21 15:13:31 +01:00