Release branching

Creating a new REL branch
Create the new branch using branch.py in the mediawiki/tools/release repository.

is invoked like:

where  above is the SHA1 of the branchpoint.