diff options
author | Peter Wu <peter@lekensteyn.nl> | 2020-04-05 22:15:23 +0200 |
---|---|---|
committer | Alexis La Goutte <alexis.lagoutte@gmail.com> | 2020-04-07 05:26:48 +0000 |
commit | 3b7ae88961b3ccc36f3bad52677fef3bfcf8dc3c (patch) | |
tree | 80dbb588ffbbdd9067b7b139ed3c37fa94b42b26 /.github | |
parent | f73135fce9cfa880a3a981d5998b57d03482056b (diff) |
Revert "github: add action to automatically close pull requests."
This reverts commit b7f38efb787d7fa60a4062a1eb38644c9315b251.
This GitHub action does not seem to work, perhaps because no
authentication token was installed in the Wireshark project on GH? See
also https://github.com/superbrothers/close-pull-request/issues/4
Change-Id: I084547028dd1de7852aaa5f9e923efa8a69d4244
Reviewed-on: https://code.wireshark.org/review/36718
Reviewed-by: Alexis La Goutte <alexis.lagoutte@gmail.com>
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/close_pr.yml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/.github/workflows/close_pr.yml b/.github/workflows/close_pr.yml deleted file mode 100644 index b250fe9d6a..0000000000 --- a/.github/workflows/close_pr.yml +++ /dev/null @@ -1,22 +0,0 @@ -name: Close Pull Requests - -on: - pull_request: - types: [opened] - -jobs: - run: - runs-on: ubuntu-latest - steps: - - uses: superbrothers/close-pull-request@v2 - with: - # Optional. Post a issue comment just before closing a pull request. - comment: | - Hi, thank you for your contribution! - Github is however not the right place for these, please have a look at - - https://www.wireshark.org/docs/wsdg_html_chunked/ChSrcContribute.html - - for further instructions. - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |