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

Jaromír Mikeš mira.mikes at
Fri Oct 9 05:12:38 UTC 2015

2015-10-05 9:21 GMT+02:00 Jaromír Mikeš <mira.mikes at>:
> 2015-10-02 21:31 GMT+02:00 Felipe Sateler <fsateler at>:

Hi Felipe,

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

Should I edit our wiki pages [1] or you will do it yourself?




More information about the pkg-multimedia-maintainers mailing list