On Tue, Jan 8, 2013 at 7:01 AM, Chad <innocentkiller(a)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