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

[Felipe Sateler]

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.

-- 

Saludos,
Felipe Sateler