Sometimes there are patch sets of Jenkins-mwext-sync in the mediawiki/extensions project which are not mergeable, because another sync already includes the changes
For example:
https://gerrit.wikimedia.org/r/#/c/210323/
https://gerrit.wikimedia.org/r/#/c/210324/
https://gerrit.wikimedia.org/r/#/c/210329/
It is possible that the bot cleans up just patch set by abandon them?
They are not needed, because the changes will be included in the next sync of the submodules.