Skip to content

fix(ci): drop Mergify batch settings (paid-tier feature — queue failed with 'Cannot use Merge Queue batch') - #7220

Merged
diegosouzapw merged 1 commit into
mainfrom
fix/mergify-drop-batch
Jul 15, 2026
Merged

diegosouzapw merged 1 commit into
mainfrom
fix/mergify-drop-batch

Commits

Commits on Jul 15, 2026