From 2f84eb7bfad51f01691689cfcc76d82aea0575b0 Mon Sep 17 00:00:00 2001 From: zimbatm Date: Sun, 7 Jan 2024 12:45:26 +0100 Subject: [PATCH] ci: remove bors Bors is EOL --- .github/settings.yml | 4 ++-- bors.toml | 9 --------- 2 files changed, 2 insertions(+), 11 deletions(-) delete mode 100644 bors.toml diff --git a/.github/settings.yml b/.github/settings.yml index 5c3d34e1..56a2edb2 100644 --- a/.github/settings.yml +++ b/.github/settings.yml @@ -125,13 +125,13 @@ branches: # Required. Require branches to be up to date before merging. strict: true # Required. The list of status checks to require in order to merge into this branch - contexts: [ "bors" ] + contexts: [ ] # Required. Enforce all configured restrictions for administrators. Set to true to enforce required status checks for repository administrators. Set to null to disable. enforce_admins: false # Disabled for bors to work required_linear_history: false # Required. Restrict who can push to this branch. Team and user restrictions are only available for organization-owned repositories. Set to null to disable. restrictions: - apps: [ "bors" ] + apps: [ ] users: [] teams: [] diff --git a/bors.toml b/bors.toml deleted file mode 100644 index 3ac87ff3..00000000 --- a/bors.toml +++ /dev/null @@ -1,9 +0,0 @@ -cut_body_after = "" # don't include text from the PR body in the merge commit message -status = [ - "Evaluate flake.nix", - "build (macos-latest)", - "build (ubuntu-20.04)", - "devShell default [x86_64-linux]", - "docs (ubuntu-20.04)", - "flakes (ubuntu-20.04)", -]