On 19.11.2012 17:08, Jeroen De Dauw wrote:
+1. Having a script run that makes pretty arbitrary
tags in between actual
releases for extensions that have real releases and associated
tags/branches does not seem helpful at all to me.
It is, however, extremely helpful for those extensions that don't have their own
release system.
Maybe the script can just skip any extension that has a VERSION or RELEASE-NOTES
file.
-- daniel