This repository has been archived by the owner on Apr 4, 2024. It is now read-only.

confusing error message when approving a closed PR #1058

Open

bryangingechen opened this issue Oct 16, 2020 · 0 comments

bryangingechen commented Oct 16, 2020

bors seems to comment with "Already running a review" when a closed PR gets approved, instead of something like "Cannot merge a closed PR".

See the sequence of events starting here.

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