Autosubmit dropped PR from queue #142570
Description
Type of Request
bug
Infrastructure Environment
Autosubmit
What is happening?
For around ~10 minutes it was ready to be submitted, but never got processed. I checked the PR queue, and only saw an auto-roll PR. I went ahead and re-added the label, which got it promptly submitted.
Steps to reproduce
Unknown
Expected results
I expect the PR to get submitted without needing to re-add the label