Re: [RFC PATCH 1/2] docs: reflect supported fetch options of git pull

2018-06-05 Thread Rafael Ascensão
On Tue, Jun 05, 2018 at 06:05:56PM +0200, Duy Nguyen wrote: > A better option may be making git-pull accept those options as well. I > see no reason git-pull should support options that git-fetch does (at > least most of them). I sent this as a RFC, mostly to discuss what is the correct path to

Re: [RFC PATCH 1/2] docs: reflect supported fetch options of git pull

2018-06-05 Thread Duy Nguyen
On Mon, Jun 4, 2018 at 11:50 PM, Rafael Ascensão wrote: > `git pull` understands some options of `git fetch` which then uses in > its operation. The documentation of `git pull` doesn't reflect this > clearly, showing options that are not yet supported (e.g. `--deepen`) > and omitting options that

[RFC PATCH 1/2] docs: reflect supported fetch options of git pull

2018-06-04 Thread Rafael Ascensão
`git pull` understands some options of `git fetch` which then uses in its operation. The documentation of `git pull` doesn't reflect this clearly, showing options that are not yet supported (e.g. `--deepen`) and omitting options that are supported (e.g. `--prune`). Make the documentation