Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 6 additions & 9 deletions .github/workflows/no-pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,31 +5,28 @@
name: Decommission pull requests on GitHub

on:
pull_request:
pull_request_target:
types:
- opened

jobs:
close-pull-request:
runs-on: ubuntu-20.04
permissions: write-all
permissions:
pull-requests: write
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PULL_REQUEST_URL: ${{ github.event.pull_request.html_url }}
COMMENT: |
Thank you for your contribution to our project.

Our repositories hosted on GitHub are merely a mirror,
a backup of our main repositories on GitLab.
Our repositories hosted on GitHub are merely a mirror, a backup of our main repositories on GitLab.

Please, submit your contributions to the corresponding repository on GitLab:

<https://gitlab.com/veloren/>

That said, this pull request will be closed automatically.
steps:
- name: Close the pull request with a reason and comment
run: gh issue close "${PULL_REQUEST_URL}" --reason "not planned" --comment "${COMMENT}"



- name: Close the pull request with a comment
run: gh pr close "${PULL_REQUEST_URL}" --comment "${COMMENT}"