Skip to content

ci: allow Mergify to merge PRs that modify the mergify configuration#4294

Merged
nixpanic merged 1 commit intoceph:develfrom nixpanic:mergify/allow-config-changeNov 30, 2023

Commits

Commits on Nov 30, 2023