On Sunday, 28 January 2018 at 19:44:36 UTC, Steven Schveighoffer wrote:
Just a note to all those who may have a PR that targets stable, even if you properly put in a commit message the instruction to close a bugzilla issue, it will NOT be closed until the commit is merged into master.

The decision to do this was based on the amount of "spam" the bugzilla issues receive when merging to other branches. In addition, when a PR was reverted, then the original commit is pushed to some other branch (along with the reversion), the bug gets closed again, and has to be manually reopened again.

So from now on, only merges to master will affect bugzilla. This means that your bug may not be closed when the original PR is merged, but it will get closed when it goes to master.

See discussion here: https://github.com/dlang-bots/dlang-bot/issues/148


Just a small addition to this: we plan to automate sending a PR to master for every PR merged to stable (and Martin already does so as part of the release process). Also, for now, `merge_stable` [1] can be easily run semi-automatically.

[1] https://github.com/wilzbach/git-tools/blob/master/merge_stable

Reply via email to