chore(ci): Update for branch renames

And for not running bors

.github/workflows/ci-pr.yml

@@ -1,7 +1,7 @@
 name: CI-PR
 on:
   pull_request:
-    branches: [master]
+    branches: [main]
 concurrency:
   group: ci-pr-${{ github.ref }}
   cancel-in-progress: true

.github/workflows/ci.yml

@@ -1,7 +1,7 @@
 name: CI
 on:
   push:
-    branches: [staging, trying]
+    branches: [main]
 jobs:
   ci:
     name: CI

.github/workflows/coverage.yml

@@ -1,9 +1,9 @@
 name: Coverage
 on:
   pull_request:
-    branches: [master]
+    branches: [main]
   push:
-    branches: [master]
+    branches: [main]
 concurrency:
   group: coverage-${{ github.ref }}
   cancel-in-progress: true

.github/workflows/lint.yml

@@ -1,9 +1,9 @@
 name: Lint
 on:
   pull_request:
-    branches: [master]
+    branches: [main]
   push:
-    branches: [staging, trying]
+    branches: [main]
 concurrency:
   group: lint-${{ github.ref }}
   cancel-in-progress: true

.github/workflows/site.yml

@@ -1,7 +1,7 @@
 name: Site
 on:
   push:
-    branches: [master]
+    branches: [main]
     paths:
       - site/**
       - .github/workflows/site.yml

bors.toml

@@ -1,11 +0,0 @@
-status = [
-	"CI",
-]
-pr_status = [
-	"CI-PR", "Lint",
-]
-timeout_sec = 7200
-prerun_timeout_sec = 7200
-delete_merged_branches = true
-cut_body_after = ""
-block_labels = ["M: blocked", "M: require changes"]