[tz] Change Request: Europe/Kiev to Europe/Kyiv
eggert at cs.ucla.edu
Fri Mar 18 23:20:04 UTC 2022
On 3/17/22 11:05, Matt Johnson-Pint wrote:
> Regarding pull requests, you might consider setting up this GitHub Action:
That would require changing the development repository to have files
specific to GitHub, right?
Other things being equal, it's better to stay portable and not rely on
or promote GitHub-specific features. If the GitHub problem were a
serious one it would be worth changing the development repository even
in a nonportable way; however, this problem seems relatively minor.
More information about the tz