Swap out pygithub3 for our own thing.