Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Removing Collaborator from Student Projects
I added someone by mistake as a collaborator to a project I'm using to manage a course and now they are a collaborator on every student project. How do I remove that person as a collaborator from all the student projects?
Here is how you can remove a collaborator from the student projects in a .course file:
- Remove collaborator from the project with the .course file.
Collaborator policy -- Allow arbitrary collaboratorsin course config to NOT be checked. WARNING: this will remove collaborators from all student projects other than the student and instructors.
- Close the .course file.
- Open the .course file.
Allow arbitrary collaborators was enabled as a workaround for deleted student accounts, then the method above should not be used. Instead, the unwanted collaborator must be removed manually from each student project. For more information, see CoCalc issue #3243.