Whenever a new commit gets pushed to `stable`, dlang-bot should submit a PR to `master` (if it can without merge conflicts). - clone the repository - execute sth. like https://github.com/wilzbach/git-tools/blob/master/merge_stable If there are merge conflicts, it should add a comment to the merged PR.
Whenever a new commit gets pushed to
stable, dlang-bot should submit a PR tomaster(if it can without merge conflicts).If there are merge conflicts, it should add a comment to the merged PR.