Skip to content
Discussion options

You must be logged in to vote

I can now again merge using GitHub UI (success). I did not perform any change that explains the resolution of the problem.

Replies: 7 comments 4 replies

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
1 reply
Comment options

You must be logged in to vote
1 reply
@wesleyboar
Comment options

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
2 replies
@Invincibear
Comment options

@MikhailKarol
Comment options

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Product Feedback Share your thoughts and suggestions on GitHub features and improvements
6 participants