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.