You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 12, 2020. It is now read-only.
Describe the bug
A set of students inside of a GitHub classroom created their group and had a working repository. However, sometime yesterday, the repository disappeared for them. They still have the group within GitHub classrooms, but their GitHub repo no longer exists. As the faculty member, I can not see that their repo existed or see any indication of the repo being deleted. Students did not have administrative access to the repo, so they should have no accidently deleted the repo.
To Reproduce
I have been unable to reproduce this issue, and it has only impacted one team, but it has a very serious impact on that team, as their issues list has been lost.
The text was updated successfully, but these errors were encountered:
Describe the bug
A set of students inside of a GitHub classroom created their group and had a working repository. However, sometime yesterday, the repository disappeared for them. They still have the group within GitHub classrooms, but their GitHub repo no longer exists. As the faculty member, I can not see that their repo existed or see any indication of the repo being deleted. Students did not have administrative access to the repo, so they should have no accidently deleted the repo.
To Reproduce
I have been unable to reproduce this issue, and it has only impacted one team, but it has a very serious impact on that team, as their issues list has been lost.
The text was updated successfully, but these errors were encountered: