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.

Sign up for GitHub

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

Jump to bottom

Add/Remove WIP Label #13

Open
Progi1984 opened this issue Oct 29, 2020 · 5 comments
Open

Add/Remove WIP Label #13

Progi1984 opened this issue Oct 29, 2020 · 5 comments
Assignees
@atomiix

Comments

@Progi1984
Copy link
Member

IF
the title contains the "[WIP]" string

THEN
the pull request must have the label "WIP"

IF
the title doesn't contain the "[WIP]" string
AND the pull request is after "In Progress"

THEN
the pull request must not have the label "WIP"
@atomiix
Copy link
Contributor

atomiix commented Oct 29, 2020

Shouldn't it be a task for issuebot? 🤔

@Progi1984
Copy link
Member Author

@atomiix I don't know the difference between the two 🤣

@atomiix
Copy link
Contributor

atomiix commented Nov 2, 2020

@Progi1984 PrestaShop/prestashop-retro#67 (comment) :)

@Progi1984
Copy link
Member Author

Ping @sowbiba

@Progi1984 Progi1984 transferred this issue from PrestaShop/prestonbot Feb 12, 2021
@MatShir
Copy link
Contributor

MatShir commented Nov 4, 2021

WIP should it be a draft PR? just wondering the process between WIP and Draft PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomiix atomiix

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Progi1984 @atomiix @MatShir