Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> 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.
