Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 600e1b9987 - Show all commits

View File

@@ -85,6 +85,11 @@ let
in
toInt front;
# Returns the given gitCommit if not null, or the one stored in the
# gitTable for the branch gitBranch.
findCommit = {gitCommit ? null, gitTable, gitBranch}:
if (gitCommit != null) then gitCommit else gitTable."${gitBranch}";
};
in
gen