repo: use current settings

We need these settings because Mergify is also being used right now.

.github/settings.yml

@@ -126,13 +126,16 @@ 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:
+          - ci/hercules/derivations
+          - ci/hercules/effects
+          - ci/hercules/evaluation
       # 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: []