fetchFromGitLab: force re-fetch when rev changes
This commit is contained in:
parent
7ec6274c37
commit
372654c868
|
@ -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 ? []
|
||||||
|
|
Loading…
Reference in a new issue