Why don’t we put PR comments, issues, wiki, etc, into the git repo, instead of having GitHub manage it for us? Of course nothing is stopping us doing that except having to decide upon structure and tooling.