mira.mikes at gmail.com
Fri Oct 2 18:45:00 UTC 2015
2015-10-02 20:23 GMT+02:00 Felipe Sateler <fsateler at debian.org>:
> On 2 October 2015 at 15:17, Jaromír Mikeš <mira.mikes at gmail.com> wrote:
>> 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?
> I think so. I don't see any reason why we should prefer using --tags
> rather than --follow-tags.
Felipe can you please suggest this change in separate mail in our ML?
So the topic wouldn't be missed by others and we can see if there will
be some objections.
More information about the pkg-multimedia-maintainers