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