Changing the wiki suggestion to push using --tags to --follow-tags ?

[Jaromír Mikeš]

2015-10-02 21:31 GMT+02:00 Felipe Sateler <fsateler at debian.org>:

Hi,

> I recently became aware of the --follow-tags option to git push. The
> advantage over --tags is that --follow-tags only pushes the tags that
> are reachable from the commits pushed. So unrelated tags (eg, upstream
> ones) are not pushed along to the alioth repository.
>
> What do you think about changing the wiki recommendation to use it? I
> think we should change it.

looks like there are clear advantages and no objections, so lets go to
change it.

mira