[Feature] When the pull request header starts with [WIP], the PR is not merged.

[stevending1st]

Description

https://probot.github.io/apps/wip/

[frank-zsy]

Thanks for the advice, it is my fault that I did not notice the WIP tag in PR #1296 , but I think we can use Draft status on GitHub just like PR #1209 .

[stevending1st]

Thank for your answer. Does this draft need to be set up by the PR author himself?

[frank-zsy]

Yes, draft can be set by author and maintainer at here.

[stevending1st]

Yes, draft can be set by author and maintainer at here.

Thanks for your help！