Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Closed
stevending1st opened this issue May 26, 2023 · 4 comments
Labels
kind/feature Category issues or prs related to feature request. waiting for repliers need other's feedback

Comments

@stevending1st
Copy link
Contributor

Description

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

@open-digger-bot open-digger-bot bot added the kind/feature Category issues or prs related to feature request. label May 26, 2023
@github-actions github-actions bot added the waiting for repliers need other's feedback label May 26, 2023
@frank-zsy
Copy link
Contributor

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 .

@github-actions github-actions bot added waiting for author need issue author's feedback and removed waiting for repliers need other's feedback labels May 26, 2023
@stevending1st
Copy link
Contributor Author

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

@github-actions github-actions bot added waiting for repliers need other's feedback and removed waiting for author need issue author's feedback labels May 27, 2023
@frank-zsy
Copy link
Contributor

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

image

@github-actions github-actions bot added waiting for author need issue author's feedback and removed waiting for repliers need other's feedback labels May 28, 2023
@stevending1st
Copy link
Contributor Author

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

image

Thanks for your help!

@github-actions github-actions bot added waiting for repliers need other's feedback and removed waiting for author need issue author's feedback labels May 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/feature Category issues or prs related to feature request. waiting for repliers need other's feedback
Projects
None yet
Development

No branches or pull requests

2 participants