It's possible to accidentally merge a draft pull request #56271
Unanswered
Alexandria-Davis-Ametek
asked this question in
Pull Requests
Replies: 1 comment
-
Just observed a different sequence that also caused an accidental merge, still needing to be reproduced:
|
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Select Topic Area
Bug
Body
Expected behavior:
Once a pull request is marked as draft, it should not be possible to merge it.
Actual behavior:
If you have a pull request open and the pull request is changed to a draft, you can still merge it.
Steps to reproduce:
Beta Was this translation helpful? Give feedback.
All reactions