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

Lots of closing/re-opening PRs #141

Closed
JustinBeckwith opened this issue May 20, 2019 · 0 comments · Fixed by #152
Closed

Lots of closing/re-opening PRs #141

JustinBeckwith opened this issue May 20, 2019 · 0 comments · Fixed by #152
Assignees
Labels
🚨 This issue needs some love. triage me I really want to be triaged.

Comments

@JustinBeckwith
Copy link
Contributor

I noticed that we seem to have a lot of PRs getting closed, and re-opened with no changes:
image

It's generating a fair bit of notification noise, so I wonder if we can't first check if there is a PR open, and if it's latest commit # matches the previous one?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🚨 This issue needs some love. triage me I really want to be triaged.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants