change in github workflow!

[Martin Nowak via Digitalmars-d]

On Friday, 27 March 2015 at 21:37:23 UTC, Brad Anderson wrote:
> It's not clear who will be merging stable into master and when 
> (it's a shame Github doesn't let you target multiple branches).

Not sure we need a strict rule here and it shouldn't be necessary 
to do this after each merge. Could be automated, I.e. once a day 
a pull request from stable to master is opened.
That leaves open who will deal with merge conflicts, but I'm sure 
some useful convention will emerge.