mira.mikes at gmail.com
Fri Oct 2 18:17:03 UTC 2015
2015-10-02 18:26 GMT+02:00 Jonas Smedegaard <dr at jones.dk>:
> Quoting Jaromír Mikeš (2015-10-02 18:04:15)
>> 2015-10-02 15:03 GMT+02:00 Felipe Sateler <fsateler at debian.org>:
>>> OT, I recently found out about the --follow-tags git push option,
>>> which helps not forgetting to push the tags :)
> Ohh, cool! I wasn't aware of that one.
>> Hmm ... not sure if I am understanding advantage against --tags option :(
>> Can you explain pls?
> Problem with --tags is it pushes _all_ tags, also ones irrelevant for
> the the work being pushed (e.g. ones tied to upstream branches).
Got it ;)
Than we should maybe use it rather than --tags option and edit our
wiki pages 
Should we change it in all cases?
More information about the pkg-multimedia-maintainers