fetchgit: nudge to update the manual when modifying parameters

Many parameters added over the past many years were not documented in the
manual. People likely simple didn't think to do that, so let's nudge them.

(cherry picked from commit ee97de3be9)
This commit is contained in:
Atemu 2024-11-13 15:16:47 +01:00 committed by github-actions[bot]
parent 1444ac86d1
commit f5f7910797

View File

@ -11,6 +11,8 @@
in "${if matched == null then base else builtins.head matched}${appendShort}"; in "${if matched == null then base else builtins.head matched}${appendShort}";
in in
lib.makeOverridable (lib.fetchers.withNormalizedHash { } ( lib.makeOverridable (lib.fetchers.withNormalizedHash { } (
# NOTE Please document parameter additions or changes in
# doc/build-helpers/fetchers.chapter.md
{ url, rev ? "HEAD", leaveDotGit ? deepClone { url, rev ? "HEAD", leaveDotGit ? deepClone
, outputHash ? lib.fakeHash, outputHashAlgo ? null , outputHash ? lib.fakeHash, outputHashAlgo ? null
, fetchSubmodules ? true, deepClone ? false , fetchSubmodules ? true, deepClone ? false