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

Felipe Sateler fsateler at
Tue Oct 13 12:55:11 UTC 2015

On 9 October 2015 at 02:12, Jaromír Mikeš <mira.mikes at> wrote:
> 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?
> [1]

I changed this.


Felipe Sateler

More information about the pkg-multimedia-maintainers mailing list