Use PyGithub, kill on-wiki config, other fixes