diff options
| author |  Daenney <daenney@users.noreply.github.com> | 2025-04-25 17:33:10 +0200 |
|---|---|---|
| committer |  tobi <tobi.smethurst@protonmail.com> | 2025-05-05 11:28:05 +0200 |
| commit | 034d58069c1ec92f8ae58359bdfd7a3119afe67d (patch) | |
| tree | 8df153708b02cb16a8f6edf50dff0ad2e3e65b8b /.github/workflows | |
| parent | [chore] Move deps to code.superseriousbusiness.org (#4054) (diff) | |
| download | gotosocial-034d58069c1ec92f8ae58359bdfd7a3119afe67d.tar.xz | |
[chore] Set up Github to be a mirror
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/autoclose.yaml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/.github/workflows/autoclose.yaml b/.github/workflows/autoclose.yaml new file mode 100644 index 000000000..39de87428 --- /dev/null +++ b/.github/workflows/autoclose.yaml @@ -0,0 +1,30 @@ +on: + issues: + types: [opened] + pull_request_target: + types: [opened] + +permissions: + issues: write + pull-requests: write + +jobs: + autoclose: + runs-on: ubuntu-latest + steps: + - name: issue + if: ${{ github.event.issue.id != '' }} + run: | + gh issue close $ISSUE --comment "This repository is a mirror. Please open issues on https://codeberg.org/superseriousbusiness/gotosocial." --reason "not planned" + gh issue lock $ISSUE + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + ISSUE: ${{ github.event.issue.html_url }} + - name: pr + if: ${{ github.event.pull_request.id != '' }} + run: | + gh pr close $PULL_REQUEST --comment "This repository is a mirror. Please open PRs on https://codeberg.org/superseriousbusiness/gotosocial." + gh pr lock $PULL_REQUEST + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + PULL_REQUEST: ${{ github.event.pull_request.html_url }} |