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

[Jaromír Mikeš]

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

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?

[1] https://wiki.debian.org/DebianMultimedia/DevelopPackaging

regards

mira