upgraded PyGithub to fix a bug