https://matrix.to/#/!gJeGMHCcDoIwsHIJri:matrix.parity.io/$zfa4QuUiNc4ugd5RZ-DIJD5jg0elvWVSdCaKUkjREH0?via=matrix.parity.io
So I've merged my substrate PR using the bot: paritytech/substrate#11232
But the bot failed to automatically merge the Polkadot companion: paritytech/polkadot#5337
And the cumulus job in my Polkadot PR also seems to not be using the changes from my PR: https://gitlab.parity.io/parity/mirrors/polkadot/-/jobs/1577990
So now I can't merge it manually.
So is the cumulus job in Polkadot also broken?
https://matrix.to/#/!gJeGMHCcDoIwsHIJri:matrix.parity.io/$zfa4QuUiNc4ugd5RZ-DIJD5jg0elvWVSdCaKUkjREH0?via=matrix.parity.io
So I've merged my substrate PR using the bot: paritytech/substrate#11232
But the bot failed to automatically merge the Polkadot companion: paritytech/polkadot#5337
And the cumulus job in my Polkadot PR also seems to not be using the changes from my PR: https://gitlab.parity.io/parity/mirrors/polkadot/-/jobs/1577990
So now I can't merge it manually.
So is the cumulus job in Polkadot also broken?