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.