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

X-lab2017 / open-digger

Open source analysis tools

https://open-digger.cn

Apache License 2.0

291 stars 86 forks source link

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

Closed stevending1st closed 1 year ago

stevending1st commented 1 year ago

Description

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

frank-zsy commented 1 year ago

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 commented 1 year ago

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

frank-zsy commented 1 year ago

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

stevending1st commented 1 year ago

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

Thanks for your help！