ci: remove bors

Bors is EOL
numtide · Jan 7, 2024 · 2f84eb7 · 2f84eb7
1 parent 44ddedc
commit 2f84eb7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 11 deletions.
diff --git 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