Use GitHub's automerge instead of Mergify #246
Merged
Mergify / Configuration has been deleted
succeeded
Aug 2, 2025 in 0s
The Mergify configuration has been deleted
Mergify will still continue to listen to commands.
Loading