Re: [PATCH v2 16/17] fetch: add a --fetch-prune option and fetch.pruneTags config

2018-02-09 Thread Ævar Arnfjörð Bjarmason
On Fri, Feb 09 2018, Eric Sunshine jotted: > On Thu, Feb 8, 2018 at 11:19 AM, Ævar Arnfjörð Bjarmason > wrote: >> Add a --fetch-prune option to git-fetch, along with fetch.pruneTags >> config option. [...] >> >> Signed-off-by: Ævar Arnfjörð Bjarmason >> ---

Re: [PATCH v2 16/17] fetch: add a --fetch-prune option and fetch.pruneTags config

2018-02-08 Thread Eric Sunshine
On Thu, Feb 8, 2018 at 11:19 AM, Ævar Arnfjörð Bjarmason wrote: > Add a --fetch-prune option to git-fetch, along with fetch.pruneTags > config option. [...] > > Signed-off-by: Ævar Arnfjörð Bjarmason > --- > diff --git a/t/t5510-fetch.sh b/t/t5510-fetch.sh >

[PATCH v2 16/17] fetch: add a --fetch-prune option and fetch.pruneTags config

2018-02-08 Thread Ævar Arnfjörð Bjarmason
Add a --fetch-prune option to git-fetch, along with fetch.pruneTags config option. This allows for doing any of: git fetch -p -P git fetch --prune --prune-tags git fetch -p -P origin git fetch --prune --prune-tags origin Or simply: git config fetch.prune true && git