diff --git a/.github/workflows/merge.yml b/.github/workflows/merge.yml new file mode 100644 index 0000000..2890138 --- /dev/null +++ b/.github/workflows/merge.yml @@ -0,0 +1,9 @@ +on: + pull_request: + merge_group: + +jobs: + dummy: + runs-on: ubuntu-latest + steps: + - run: /usr/bin/true diff --git a/bors.toml b/bors.toml deleted file mode 100644 index 2fde3d7..0000000 --- a/bors.toml +++ /dev/null @@ -1,8 +0,0 @@ -status = ["buildbot/ci-builder"] - -timeout_sec = 600 # 10 minutes - -# Have bors delete auto-merged branches -delete_merged_branches = true - -cut_body_after = ""