On 12/6/21 13:43, John Hawkinson wrote:
there are plenty of contexts in which tzids are indeed visible to users, whether they are "looking under the hood" or not.
That language was intended to express the tzdb's project intent, which admittedly is not necessarily the same as how the project data are used. I'll try to remember to say this more explicitly next time.
CONTRIBUTING.md should be a relatively github-specific document to tell people that we don't use Github for pull request or issue management, and explain how and why. It could then refer to another more general document about contributing in general (probably it would be poor to have CONTRIBUTING and CONTRIBUTING.md with different content, though).
It'd be odd to have CONTRIBUTING.md with some GitHub-specific text saying essentially "You're on GitHub and so are barking up the wrong tree", along with some other file *not* named CONTRIBUTING that gives advice about contributing. Since the Markdown-enabled friendliness for GitHub doesn't matter much now that pulldown requests are "temporarily" prohibited, I'm becoming more inclined to go back to plain-text CONTRIBUTING.