Given GitHub has full support for draft PRs nowadays, this "workaround" is not needed anymore and can be removed, IMHO.
@@ -11,7 +11,6 @@ This PR fixes
*
## ToDo
-<!-- Add things, you still want to do. It is recommend to put "[DNM]", "[DONOTMERGE]", "[WIP]" or "[WORKINPROGRESS]" **into the title** of your PR if you still want to work on this PR, but just do not want to have it merged yet. -->
* [ ]