Just to confirm – is the GitHub issue tracker now the canonical place for issues?
Most of the documentation still points to Google Code for the tracker, i.e. Programmer’s Contribution Guidelines and How to report bugs. The homepage for the Google Code repo says the source code was migrated, but doesn’t specifically mention the issue tracker. The GitHub repo has issues as early as March 2014, while Google Code has issues as late as July 2014. CONTRIBUTING.md doesn’t specifically mention the GitHub issue tracker, but I’m assuming that’s what it means.
Even putting a small “NOTE” thing at the top of the wikis to inform the reader to use the GitHub tracker (if that’s indeed the case) would be helpful. I can do that if others think it’d be helpful.
Thanks.