Confusion: jira vs github issue

Maybe we should also disable the issue tracker for projects which use jira only?