github release procedure

[Jacob Carlborg]

On 2013-01-04 21:11, Jonathan M Davis wrote:

> That's what the beta is for, which we did. Clearly, not enough people tried it
> out, or those regressions would have been caught. Creating a separate branch
> would not fix that.

It fixes other problems, like merging a pull request that should have 
been merge just because someone has missed a beta was out.

-- 
/Jacob Carlborg