github release procedure

[Johannes Pfau]

Am Thu, 03 Jan 2013 10:58:46 -0800
schrieb Walter Bright <newshound2 at digitalmars.com>:


> > What changes? All changes should be made in master, then applied to
> > staging via cherry picking.
> 
> I think that's a vast assumption that there would never be changes
> specific to the release.

If there's a change which is 100% specific to a release it can be
pushed to staging directly, but then there's no need to merge it back
into master. If the change makes sense in master, push it to master then
cherry pick into staging.