The best would be able to have a bot merging a pull request once tests pass and a core developer asked a merge. I'm not talking about the current approval using review, but something new, like adding a special comment like "Merge". Such comment would only merge if it's written by a core developer.
Each time I approve a backport PR created by miss-ilington with "LGTM, good bot", I hope secretly that the PR will be merged automatically once CI tests pass ;-)
Is it possible to write a bot which merges a PR?
2018-01-25 20:04 GMT+01:00 Mariatta Wijaya email@example.com:
I'm fine with the delay. I've been thinking to implement the bot that will remind us when all the CI has been completed. So we don't have to wait, and won't forget about it.
Currently miss-islington does this only for the backport PRs made by miss-islington. I think it'll be useful to do that on other PRs too. (yes I'm aware GitLab does this but we are on GitHub)