Closed bjhargrave closed 4 months ago
Currently the github ids are spellchecked which then causes problems when a new github id is added to a team.
Currently the github ids are spellchecked which then causes problems when a new github id is added to a team.