What happened?
I suggest we drop the "Work in Progress" label in favor of setting a PR to draft status.
Currently, we have about three ways of indicating that a PR is not quite ready to be merged yet. The above two and the "Changes requested" from a review. Semantically, I don't see the difference between the above and vote to simplify things.
Comments?
How to reproduce?