Closed jwflory closed 6 years ago
This pull requests adds another section to GitHub workflow doc added in #35. This addition adds best practices for creating new labels in a new project and a short note about maintaining them.
Do not merge before #35
This pull requests adds another section to GitHub workflow doc added in #35. This addition adds best practices for creating new labels in a new project and a short note about maintaining them.