I found a minor bug-like behavior in the GitHub interface. Or maybe what I am really after is a new or improved feature.
Is there a public GitHub repo for the GitHub code base? Or, where is the appropriate place to file this issue?
Any web search with terms like "GitHub" along with "issue" or "bug" inevitably leads to instructions for how to file GitHub issues or submit feature requests for GitHub repos in general. There is too much noise to find results about the GitHub itself.