Merge pull request #793 from smoltcp-rs/gha-merge-queue

Switch from bors to github merge queue.

.github/bors.toml

@@ -1,6 +0,0 @@
-status = [
-    "tests",
-    "fuzz",
-    "clippy",
-    "fmt",
-]

.github/workflows/coverage.yml

@@ -1,7 +1,6 @@
 on:
-  push:
-    branches: [staging, trying]
   pull_request:
+  merge_group:
 
 name: Coverage
 

.github/workflows/fuzz.yml

@@ -1,7 +1,6 @@
 on:
-  push:
-    branches: [ staging, trying ]
   pull_request:
+  merge_group:
 
 name: Fuzz
 

.github/workflows/rustfmt.yaml

@@ -1,7 +1,6 @@
 on:
-  push:
-    branches: [ staging, trying ]
   pull_request:
+  merge_group:
 
 name: Rustfmt check
 jobs:

.github/workflows/test.yml

@@ -1,7 +1,6 @@
 on:
-  push:
-    branches: [staging, trying]
   pull_request:
+  merge_group:
 
 name: Test