make the github bug tracker the default one