in server/plugins/projects.py [0:0]
def private_github_team(self, mfa = None):
"""Returns the GitHub IDs of everyone that should be on the GitHub private team for this project"""
team_ids = set()
for committer in self.pmc:
if mfa:
if mfa.get(committer.github_login):
team_ids.add(committer.github_login)
elif committer.github_mfa:
team_ids.add(committer.github_login)
return list(team_ids)