Merge pull request #416 from eldruin/switch-to-ghmq

Prepare switch to GHMQ
12 months ago · fd66befcbf
parent 1ac1329364 4bb0281f71
commit fd66befcbf
2 changed files with 0 additions and 21 deletions
--- a/.github/bors.toml
+++ b/.github/bors.toml
@ -1,3 +0,0 @@
-delete_merged_branches = true
-required_approvals = 1
-status = ["dummy"]
--- a/.github/workflows/dummy.yml
+++ b/.github/workflows/dummy.yml
@ -1,18 +0,0 @@
-name: CI
-
-on:
-  push:
-    branches:
-    - master
-    - staging
-    - trying
-  pull_request:
-    branches:
-    - master
-
-jobs:
-  dummy:
-    runs-on: ubuntu-latest
-    steps:
-    - name: Succeed
-      run: true