Ask HN: Is there a way to post an issue anonymously on GitHub?