diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2020-04-22 13:42:45 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-04-22 13:42:45 -0700 |
| commit | 9f471e4b95d5f684dc9d0ec7c43ab267acc06ae4 (patch) | |
| tree | 2cdaaa3c0ceea88d63d3109fc046838ed9d3bba2 /Documentation/git-prune.txt | |
| parent | Merge branch 'js/walk-doc-optim' (diff) | |
| parent | pull: pass documented fetch options on (diff) | |
| download | tgif-9f471e4b95d5f684dc9d0ec7c43ab267acc06ae4.tar.xz | |
Merge branch 'rs/pull-options-sync-code-and-doc'
"git pull" shares many options with underlying "git fetch", but
some of them were not documented and some of those that would make
sense to pass down were not passed down.
* rs/pull-options-sync-code-and-doc:
pull: pass documented fetch options on
pull: remove --update-head-ok from documentation
Diffstat (limited to 'Documentation/git-prune.txt')
0 files changed, 0 insertions, 0 deletions