25 Jan
2018
25 Jan
'18
9:49 p.m.
Is it possible to write a bot which merges a PR?
Yes it is possible, and we sort of discussing the same thing in python-dev [1] :)
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 ;-)
You should have filed a feature request! :D To make it happen, I'll need miss-islington be promoted and given write access to CPython. Currently miss-islington can't merge.
[1] https://mail.python.org/pipermail/python-dev/2018-January/151899.html
Mariatta Wijaya