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.
