Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Transition to standardized GitHub labels #19
This repository has now been converted to use the standard set of labels.
If this repository used the previous set of recommended labels by Software Carpentry, they have been converted to the new one using the following rules:
The lesson infrastructure committee hopes the standard set of labels will make it easier for you to manage the issues you receive on the repositories you manage.
The lesson infrastructure committee will evaluate how the labels are being used in the next few months and we will solicit your feedback at this stage. In the meantime, if you have any questions or concerns, please leave a comment on this issue.
-- The Lesson Infrastructure subcommittee
PS: we will close this issue in 30 days if there is no activity.