Skip to content

fetchTree: clarify docs for shallow flag#9390

Merged
thufschmitt merged 1 commit intoNixOS:masterfrom
DavHau:git-shallow-docs
Nov 20, 2023
Merged

fetchTree: clarify docs for shallow flag#9390
thufschmitt merged 1 commit intoNixOS:masterfrom
DavHau:git-shallow-docs

Conversation

@DavHau
Copy link
Member

@DavHau DavHau commented Nov 19, 2023

Motivation

Improve docs for git fetcher.
To many users it seemed unclear that the shallow flag does not shallow the repo any more than available on the remote.

Priorities

Add 👍 to pull requests you find important.

@DavHau DavHau requested a review from edolstra as a code owner November 19, 2023 13:34
@DavHau DavHau mentioned this pull request Nov 19, 2023
@github-actions
Copy link

Backport failed for 2.13-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.13-maintenance
git worktree add -d .worktree/backport-9390-to-2.13-maintenance origin/2.13-maintenance
cd .worktree/backport-9390-to-2.13-maintenance
git switch --create backport-9390-to-2.13-maintenance
git cherry-pick -x 796a7eb92d2b0caf75685126adc7460a4c39cfec

@github-actions
Copy link

Backport failed for 2.14-maintenance, because it was unable to cherry-pick the commit(s).

Please cherry-pick the changes locally and resolve any conflicts.

git fetch origin 2.14-maintenance
git worktree add -d .worktree/backport-9390-to-2.14-maintenance origin/2.14-maintenance
cd .worktree/backport-9390-to-2.14-maintenance
git switch --create backport-9390-to-2.14-maintenance
git cherry-pick -x 796a7eb92d2b0caf75685126adc7460a4c39cfec

@github-actions
Copy link

Successfully created backport PR for 2.15-maintenance:

@github-actions
Copy link

Successfully created backport PR for 2.16-maintenance:

@github-actions
Copy link

Successfully created backport PR for 2.17-maintenance:

@github-actions
Copy link

Successfully created backport PR for 2.18-maintenance:

@github-actions
Copy link

Successfully created backport PR for 2.19-maintenance:

@DavHau DavHau mentioned this pull request Dec 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants