From 4bb0281f716592e48459e1de74302fdeffe30600 Mon Sep 17 00:00:00 2001 From: Diego Barrios Romero Date: Wed, 21 Jun 2023 07:29:30 +0200 Subject: [PATCH] Prepare switch to GHMQ --- .github/bors.toml | 3 --- .github/workflows/dummy.yml | 18 ------------------ 2 files changed, 21 deletions(-) delete mode 100644 .github/bors.toml delete mode 100644 .github/workflows/dummy.yml diff --git a/.github/bors.toml b/.github/bors.toml deleted file mode 100644 index 953d954..0000000 --- a/.github/bors.toml +++ /dev/null @@ -1,3 +0,0 @@ -delete_merged_branches = true -required_approvals = 1 -status = ["dummy"] diff --git a/.github/workflows/dummy.yml b/.github/workflows/dummy.yml deleted file mode 100644 index 7fd158c..0000000 --- a/.github/workflows/dummy.yml +++ /dev/null @@ -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