2015-10-02 20:23 GMT+02:00 Felipe Sateler <[email protected]>: > On 2 October 2015 at 15:17, Jaromír Mikeš <[email protected]> wrote: >> 2015-10-02 18:26 GMT+02:00 Jonas Smedegaard <[email protected]>: >>> Quoting Jaromír Mikeš (2015-10-02 18:04:15) >>>> 2015-10-02 15:03 GMT+02:00 Felipe Sateler <[email protected]>: >>>>> 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 [1] >> 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. regards mira _______________________________________________ pkg-multimedia-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-multimedia-maintainers
