On Mon, Jan 22 2018, Junio C. Hamano jotted: > Ævar Arnfjörð Bjarmason <ava...@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.