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? mira [1]https://wiki.debian.org/DebianMultimedia/DevelopPackaging _______________________________________________ pkg-multimedia-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-multimedia-maintainers
