From 08e67c744fb180f30326300daad37e8a57cdbacb Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Tue, 8 Jul 2025 17:10:07 +0200 Subject: [PATCH] .mergify.yml: drop The mergify configuration is outdated because job names have changed significantly. Also the mergify experiment failed and we're on our way towards GitHub merge queues, slowly but steadily. Thus, we don't need that anymore. --- .mergify.yml | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 .mergify.yml diff --git a/.mergify.yml b/.mergify.yml deleted file mode 100644 index 83791c36780c..000000000000 --- a/.mergify.yml +++ /dev/null @@ -1,21 +0,0 @@ -queue_rules: - # This rule is for https://docs.mergify.com/commands/queue/ - # and can be triggered with: @mergifyio queue - - name: default - merge_conditions: - # all github action checks in this list are required to merge a pull request - - check-success=Attributes - - check-success=Check - - check-success=Outpaths (aarch64-darwin) - - check-success=Outpaths (aarch64-linux) - - check-success=Outpaths (x86_64-darwin) - - check-success=Outpaths (x86_64-linux) - - check-success=Process - - check-success=Request - - check-success=editorconfig-check - - check-success=label-pr - - check-success=nix-files-parseable-check - - check-success=nixfmt-check - - check-success=nixpkgs-vet - # queue up to 5 pull requests at a time - batch_size: 5