Hello, I hope you are all doing well. Two years ago, when I wrote this email I was hoping to get a meaningful answer why a very simple PR got rejected. Instead, I got a bunch of emails complaining about "babysitting pull requests". For your information, PR was done inline with README recommendations of the repo. I found it disrespectful and decided to abandon all of my good intentions to bring the correct naming at all. A bit of useful information that I got that day was that Kyiv is not "enough" popular.. Doing the same "sanity" search today as you @eggert did 2y ago, I can see 98M for Kyiv and 97M for Kiev (google.com, UK). Is it enough now? Could we return to my pull request this week? Kind regards, Viktor On Sun, 16 Aug 2020 at 09:29, Andrew Gierth <andrew@tao11.riddles.org.uk> wrote:
"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.