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