ci: Respect do not merge tag in mergify#2465
Merged
mergify[bot] merged 2 commits intoethereum-optimism:developfrom Apr 14, 2022
Merged
ci: Respect do not merge tag in mergify#2465mergify[bot] merged 2 commits intoethereum-optimism:developfrom
mergify[bot] merged 2 commits intoethereum-optimism:developfrom
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}