There was a GitHub incident that was affecting merges (https://githubstatus.com/). Looks like it just now resolved. We had a banner up to notify users about this as of 30 minutes ago, did you try and merge before that?
Aryaman
07/26/2023, 3:06 PM
Or else there might be a problem with our banners 😞
g
Gabrielle Delforge
07/27/2023, 2:15 PM
Hmm, I have to admit I might have dismissed the banner without paying attention 😅 But it's still happening to me this morning, and the status page seems to indicate everything's good on Github's end?