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

> Æ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.