[tz] Change Request: Europe/Kiev to Europe/Kyiv

Andrew Gierth andrew at tao11.riddles.org.uk
Sun Aug 16 08:29:07 UTC 2020


>>>>> "Paul" == Paul Eggert <eggert at 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.



More information about the tz mailing list