Issue/PR labels #953
StevenClontz
started this conversation in
General
Replies: 1 comment
-
You're welcome! I figured it would be fine to try adding labels, since if it turns out we don't like it it's very easy to revert by deleting the tags. The number of issues had gotten large enough that I wanted to make them easier to navigate; I hope other people will find them useful. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Thanks @danflapjax for proactively labeling our issues! I've updated the Issue templates to apply those labels automatically when the templates are used. Let me know if anyone sees any issues.
Beta Was this translation helpful? Give feedback.
All reactions