On Tue, Jan 8, 2013 at 7:01 AM, Chad innocentkiller@gmail.com wrote:
Why not use what we already use: REL1_20 etc.
At the time, I thought it might conflict with something. However, you're probably right and it'll be easier to remember :)
I've now tagged all extensions (that existed) when REL1_20 was branched on 2012-11-06 [0].
I'm about to do the same for REL1_19 (more time consuming, since we weren't on git yet).
Remember: if you're the owner of any extension and you want to change what's available to ExtensionDistributor, you can just update the REL1_nn tags to point to the commit you want people to use.
For future release branches: we should probably add this to the "how to do a release" instructions[1] (which I've just done...man that page needs a cleanup).
-Chad
[0] https://www.mediawiki.org/wiki/Branch_points [1] https://www.mediawiki.org/wiki/Release_checklist