Add github.update_repo_permissions(user)