Paul Eggert via tz <tz@iana.org> wrote on Tue, 10 Aug 2021 at 19:11:21 EDT in <5d0f0b15-0f0f-8d67-3da5-d5fbcdbb6989@cs.ucla.edu>:
Patches like those are best circulated on this mailing list, as I don't often look at GitHub requests. (I wish there was some way to for GitHub to inform patch-submitters of this, but there doesn't seem to be.)
As noted by me on the list last year nearly a year ago: https://docs.github.com/en/github/building-a-strong-community/creating-a-pul... looks like I accidently dropped the final character in a copy/paste error, sorry about that:
Date: Sat, 15 Aug 2020 18:52:58 -0400 From: John Hawkinson <jhawk@alum.mit.edu> To: Paul Eggert <eggert@cs.ucla.edu>, Victor Perov <vic.gald@gmail.com> Cc: Time zone mailing list <tz@iana.org> Subject: Re: [tz] Change Request: Europe/Kiev to Europe/Kyiv Message-ID: <20200815225258.GA62055@alum.mit.edu> ... Paul Eggert <eggert@cs.ucla.edu> wrote on Sat, 15 Aug 2020 at 18:19:08 EDT in <cefc7f01-a3e9-f2a4-9ab9-5288147f994a@cs.ucla.edu>:
Thanks for bringing that to the mailing list (if I could shut off GitHub pull requests I would).
Although you cannot do so, we can handle them a little bit better. Please see https://docs.github.com/en/github/building-a-strong-community/creating-a-pul...
You can create a template that explains to a would-be pull request submitter than pull requests will be closed and the project uses the mailing list for development discussions. ("I understand that the tz project does not use pull requests on github, and that if I enter a pull request here, it will be closed and I will be directed to send email to tz@iana.org.")
-- jhawk@alum.mit.edu John Hawkinson