On Sun, Oct 4, 2020 at 8:34 PM Mariatta <maria...@python.org> wrote:
> Perhaps we can relax the rule to allow administrators to merge the stuck PRs. 
> At least
> temporarily until Travis/GitHub fixes it. Does this sound okay?

+1 on relaxing the rule permanently. We should not give robots more
rights than humans.

People before Processes is the very first principle in the Agile
Manifesto (and with good reason).
_______________________________________________
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at 
https://mail.python.org/archives/list/python-dev@python.org/message/WNGCNNETLTYD5TT2DCZZSWDHQ5PTB22C/
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to