Aug. 16, 2020
8:29 a.m.
"Paul" == Paul Eggert <eggert@cs.ucla.edu> writes:
Paul> If this sort of thing continues to be a hassle there's a simple Paul> fix, which is to move the development repository to somewhere Paul> other than GitHub that does not insist on my babysitting pull Paul> requests. There exists a repo-lockdown bot service which auto-responds to and auto-closes PRs; postgresql uses it on the github.com/postgres/postgres mirror repository. See github.com/apps/repo-lockdown -- Andrew.