replace bors with merge queue

.github/workflows/ci.yml

@@ -1,7 +1,8 @@
 on:
   push:
-    branches: [ staging, trying, master ]
+    branches: master
   pull_request:
+  merge_group:
 
 name: Continuous integration
 
@@ -10,6 +11,16 @@ env:
   TARGET: thumbv7em-none-eabihf
 
 jobs:
+  ci:
+    name: CI
+    runs-on: ubuntu-latest
+    needs: [check]
+    if: always()
+    steps:
+      - name: Done
+        run: jq --exit-status 'all(.result == "success")' <<< '${{ toJson(needs) }}'
+
+  check:
   test:
     runs-on: ubuntu-latest
     strategy:
@@ -63,12 +74,3 @@ jobs:
         components: rustfmt
     - name: Check code formatting
       run: cargo fmt -- --check
-
-  ci:
-    if: ${{ success() }}
-    # all new jobs must be added to this list
-    needs: [test, lint]
-    runs-on: ubuntu-latest
-    steps:
-      - name: CI succeeded
-        run: exit 0

CHANGELOG.md

@@ -2,6 +2,7 @@
 
 ## Unreleased
 
+* bors bot replaced with GH merge queue
 * Rename method `set_interrupt_line_config` to `select_interrupt_line_1` [#27]
 
 ## [v0.1.2] 2022-09-13