It looks like this pull request may not have tests. Please make sure to add tests before merging. If you need an exemption to this rule, contact Hixie on the #hackers channel in Chat (don't just cc him here, he won't see it! He's on Discord!).

If you are not sure if you need tests, consider this rule of thumb: the purpose of a test is to make sure someone doesn't accidentally revert the fix. Ask yourself, is there anything in your PR that you feel it is important we not accidentally revert back to how it was before your fix?

Reviewers: Read the Tree Hygiene page and make sure this patch meets those guidelines before LGTMing.

@godofredoc what labels do I need to add to trigger a tip-of-tree revert?

Looks like the collection I picked worked.

Looks like the collection I picked worked.

Let me confirm if the "land on red to fix tree breakage" is implemented in autosubmit.

\cc @keyonghan @ricardoamador