-
-
Notifications
You must be signed in to change notification settings - Fork 64
Description
This PR from @vstinner was initially labeled "awaiting merge", which I suppose is the default behavior when a core dev makes a PR, even before review.
I (not a core dev) reviewed the code and approved the changes, which triggered bedevere to remove "awaiting merge" and add "awaiting core review".
I'm guessing this is because my review triggered the logic that normally transitions from "awaiting review" to "awaiting core review", and this probably checked to see if there were any reviews from core devs (there were not) and assumed that core review was necessary.
I would think the correct behavior for an accepted review would be to leave "awaiting merge" in place. For a rejected review, adding "awaiting core review" might be the right thing to do.