You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I noticed that we seem to have a lot of PRs getting closed, and re-opened with no changes:
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?
The text was updated successfully, but these errors were encountered:
I noticed that we seem to have a lot of PRs getting closed, and re-opened with no changes:
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?
The text was updated successfully, but these errors were encountered: