[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