Another PR landed on Main after being merged when Autosubmit failed to land it (correct outcome, but bad ux):

• Auto submit should warn if a PR is targeting main and the label is added.
• We should either auto-close these PRs to prevent admins (like myself in the past) from hitting merge anyways or...
• Edit the base at which the PR is merging to master

Autosubmit today reports some graphql mutation error. Closing ASAP is safest. Changing the merge base has unknown side effects.

fyi @matanlurey @Piinks