[Crash-utility] [PATCH 4/5] Remove the pr closer workflow

The devel is mainly email based, but github pr is also good to have if people are not familiar and no time to work on emails. Thus remove this workflow. Signed-off-by: Dave Young <yangrr.2009(a)tsinghua.org.cn&gt; --- .github/workflows/pr-closer.yml | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 .github/workflows/pr-closer.yml diff --git a/.github/workflows/pr-closer.yml b/.github/workflows/pr-closer.yml deleted file mode 100644 index 4fb13887791d..000000000000 --- a/.github/workflows/pr-closer.yml +++ /dev/null @@ -1,13 +0,0 @@ -name: Close Pull Request - -on: - pull_request_target: - types: [opened, reopened] - -jobs: - run: - runs-on: ubuntu-latest - steps: - - uses: superbrothers/close-pull-request@v3 - with: - comment: "The github repo does not accept PRs, please subscribe to mail list via https://lists.crash-utility.osci.io/admin/lists/devel.lists.crash-utility... for contribution and discussion. Or post your patch to mail list: devel(a)lists.crash-utility.osci.io&quot; -- 2.51.1