From: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Date: Mon, 22 Jan 2018 23:05:19 GMT
Subject: Re: [PATCH v2 07/12] git remote doc: correct dangerous lies about what prune does
Message-ID: <87vafth4uo.fsf@evledraar.gmail.com>
In-Reply-To: <xmqq7es9mzna.fsf@gitster.mtv.corp.google.com>


On Mon, Jan 22 2018, Junio C. Hamano jotted:

> Ævar Arnfjörð Bjarmason  <avarab@gmail.com> writes:
>
>> +Deletes stale references associated with <name>. By default stale
>> +remote-tracking branches under <name>, but depending on global
>> +configuration and the configuration of the remote we might even prune
>> +local tags....
>
> An optional clarification
>
>     s/prune local tags/& that haven't been pushed there/
>
>> +... Equivalent to `git fetch <name> --prune`, except that no
>> +new references will be fetched.
>
> `git fetch --prune <name>` (dashed options first and then non
> options), just like you wrote in the previous step.

Thanks. Will fix both.