Skip to content

chore: Update .github/settings.yml

Mergify / Rule: delete the head branch after merge (delete_head_branch) succeeded Jul 18, 2024 in 0s

Branch `migration/20240704` does not exist