Use GitHub's automerge instead of Mergify - #246
Merged
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
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