Re: [PATCH v2 07/12] git remote doc: correct dangerous lies about what prune does

2018-01-22 Thread Ævar Arnfjörð Bjarmason
On Mon, Jan 22 2018, Junio C. Hamano jotted: > Ævar Arnfjörð Bjarmason writes: > >> +Deletes stale references associated with . By default stale >> +remote-tracking branches under , but depending on global >> +configuration and the configuration of the remote we might even prune >> +local tags.

Re: [PATCH v2 07/12] git remote doc: correct dangerous lies about what prune does

2018-01-22 Thread Junio C Hamano
Ævar Arnfjörð Bjarmason writes: > +Deletes stale references associated with . By default stale > +remote-tracking branches under , but depending on global > +configuration and the configuration of the remote we might even prune > +local tags An optional clarification s/prune local tags

[PATCH v2 07/12] git remote doc: correct dangerous lies about what prune does

2018-01-20 Thread Ævar Arnfjörð Bjarmason
The "git remote prune " command uses the same machinery as "git fetch --prune", and shares all the same caveats, but its documentation has suggested that it'll just "delete stale remote-tracking branches under ". This isn't true, and hasn't been true since at least v1.8.5.6 (the oldest version I