A GitHub repository may be deleted while a participant is still in an assignment, resulting in strange behaviour. This should be fixed. Somewhat related to GH-35.
A GitHub repository may be deleted while a participant is still in an assignment, resulting in strange behaviour. This should be fixed.
Somewhat related to GH-35.