[Dlang-internal] Heads-up for pending auto-merge change

[Martin Nowak]

On Tuesday, 16 January 2018 at 04:54:48 UTC, Brad Roberts wrote:
> 2) if stable can be merged to master w/o conflict then create a 
> pull request for that and mark it for auto-merge
>
> 3) if it has conflicts, notify someone that it needs manual 
> handling.

I'd go with the simpler approach, to always open or update a 
stable -> master PR if there are pending commits.
Unfortunately GitHub doesn't allow to create empty PRs that get 
filled when the head branch (stable) receives commits.