So that they are all in one place. Better yet, someone with the necessary permissions should remove the GitHub bug tracker.