Use GitHub instead of Redmine as bug tracker