Closed nate-double-u closed 3 years ago
Are there other labels we want/need?
Are there other labels we want/need?
Let's start with this very nice set.
(latest force-push rebases the PR on main)
Nice, the existing label assignments were persevered.
Fixes #79
Note: Adding labels this way will remove labels already added via the GitHub UI.
In case GitHub isn't able to reapply labels when merging this PR, this is how they are currently applied (to open issues/PRs):
bug: #56, #52, #45 cleanup: #85 documentation: #29, #24, #23, #22 enhancement: #83, #80, #28, #27, #26, #25, #21, #20, #19, #18 infrastructure: #85, #83, #79, #68 question: #76, #87