feat: grant access to the repositories to Dementors (#2379)

rolling-scopes · Nov 27, 2023 · 99f537c · 99f537c
1 parent 2e47e0a
commit 99f537c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/server/src/services/repository.service.ts b/server/src/services/repository.service.ts
@@ -146,7 +146,7 @@ export class RepositoryService {
     });
     const githubIds = mentors
       .map(m => m.githubId)
-      .concat(courseUsers.filter(u => u.isManager || u.isSupervisor).map(cu => cu.user?.githubId))
+      .concat(courseUsers.filter(u => u.isManager || u.isSupervisor || u.isDementor).map(cu => cu.user?.githubId))
       .filter(Boolean);
     for (const githubId of githubIds) {
       await this.addMentorToTeam(this.github, course, githubId);