[meta] Don't require merge queue for PRs

[mgiuca]

Spinning off from #1069. @marcoscaceres did you change a setting here or is GitHub forcing this upon us?

(I think I used to be an admin but I don't appear to be any more... I can access some Settings but most are hidden from me.)

This is what I see on the submit button for an approved PR:

The drop-down has no other options. I don't recall seeing this before; I was previously given a choice to squash or merge.

In Settings, it still seems to be set up that way, so I'm not sure what's changed or why it's forcing us to use Merge Queue (I don't even see an option for Merge Queue):

The problem with Merge Queue is that there doesn't appear to be any way to set the commit message. I don't know what the default message is, but it probably uses the text of the first message in the PR, which would be inappropriate since it contains the Preview and Diff links as well as our checklist, etc. It doesn't look like we've landed any PRs since this change happened.

Merge Queue seems to be useful for repos with a very high commit rate, to avoid conflicts with manually merging. But this repo gets ~1 commit / month so it doesn't feel necessary :)

[mgiuca]

Apparently this might be a branch-specific setting? Maybe it happened when you changed over from gh-pages to main - can you check the settings on the main branch?

[mgiuca]

This doesn't seem to be working at all: #1076

[mgiuca]

We worked it out in the meeting today. Marcos found the button to turn it off. (It was unintentional.)

For reference, it was under Settings -> Branches -> main (Edit) -> Require merge queue.

I landed #1076 and "squash and merge" works fine.