Remove GitHub functionality

This functionality is a huge overhead to maintain, is relatively untested, and,
to the best of my knowledge, is relatively unused by the majority of the
community.
Remove JIRA

JIRA is dead, so there's that.