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

Not ignoring updates to pull requests with "WIP" in the title #166

Open
whoodes opened this issue Jul 26, 2019 · 0 comments
Open

Not ignoring updates to pull requests with "WIP" in the title #166

whoodes opened this issue Jul 26, 2019 · 0 comments

Comments

@whoodes
Copy link

whoodes commented Jul 26, 2019

The discussion can be found here:
https://chat.zulip.org/#narrow/stream/9-issues/topic/zulipbot/near/773080

There seems to be a bug related to ignoring WIP PRs. For example:

  • A WIP PR can receive a has conflicts label (which it shouldn't, if it is being ignored), but it will not have it removed when conflicts are resolved.
  • A WIP PR receives new size labels upon updating.

Along with generally needing a fix, the expected behavior may need to be rethought; should we allow updating certain labels on WIP PRs?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant