in server/plugins/projects.py [0:0]
def add_repository(self, repo: plugins.repositories.Repository, private: bool):
"""Adds a repository to a project and assigns the repo to the commmitter/PMC group as applicable"""
if private:
self.private_repos.append(repo)
for account in self.pmc:
account.repositories.add(repo)
else:
self.public_repos.append(repo)
for account in self.committers:
account.repositories.add(repo)