Open chischaschos opened 9 years ago
Possible purposes could be:
etc
Thoughts?
I think it's a good idea. In the past we have merged a PR that was a WIP because we assumed it was ready. That's why now we start the PR with "WIP" if it's not ready, but I think the tags are better.
Possible purposes could be:
etc
Thoughts?