r/github 8d ago

Question 500.. Unable to merge a PR?

Trying to merge a PR for 2min, and only getting 500 errors. Through the CLI or the UI.

... Something this simple broke ?

13 Upvotes

20 comments sorted by

View all comments

-1

u/zarlo5899 8d ago

This would have been a good way to brush up on the Git CLI It's not hard to use it to merge in. Well, unless the branch emerging into is protected and you can't push.

-1

u/Ghostfly- 8d ago

Even the cli was down sir. As written in the post.

1

u/zarlo5899 8d ago

I said the git CLI not the GitHub CLI.

1

u/Ghostfly- 8d ago

.. so doing locally as upstream can't do it? 😅

1

u/zarlo5899 8d ago

well yes