On 07.08.2017 17:22, David Given wrote:
> Is dev.haiku-os.org <http://dev.haiku-os.org> still right for core OS
> bugs? I thought it had migrated to Github?
Nope, above URL is correct. We have a mirror of our git repo on Github, but it's just a read-only copy, and we don't use the Github bugtracker for the OS itself. The OS repo and bugtracker still reside on Haiku's own infrastructure.