GitHub Community
PR keep prompting me to merge, even I have already merged #124895
Unanswered
dotku
asked this question in
Pull Requests
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Select Topic Area
Question
Body
May I know how can I get ride of this warning? I have already merged the branch.
Beta Was this translation helpful? Give feedback.
All reactions