fetchFromGitLab: force re-fetch when rev changes #14

Merged
bbjubjub2494 merged 1 commit from bbjubjub2494/fetchfromgitlab into main 2024-07-01 16:24:14 +00:00

View file

@ -2,7 +2,9 @@
lib.makeOverridable ( lib.makeOverridable (
# gitlab example # gitlab example
{ owner, repo, rev, protocol ? "https", domain ? "gitlab.com", name ? "source", group ? null { owner, repo, rev, protocol ? "https", domain ? "gitlab.com", group ? null
, pname ? lib.concatStringsSep "-" ([ "source" domain ] ++ (lib.optional (group != null) group) ++ [ owner repo ])
, name ? "${pname}-${rev}"
, fetchSubmodules ? false, leaveDotGit ? false , fetchSubmodules ? false, leaveDotGit ? false
, deepClone ? false, forceFetchGit ? false , deepClone ? false, forceFetchGit ? false
, sparseCheckout ? [] , sparseCheckout ? []