I want to make a bot which gets all GitHub contributors from a repo (already have a solution for this: PyGitHub) and gives all users on a discord server a role when they connect