diff options
| author | 2025-04-25 17:33:10 +0200 | |
|---|---|---|
| committer | 2025-04-26 15:38:43 +0200 | |
| commit | 152bcb43b675ee08c131995716c2188ac2282e32 (patch) | |
| tree | 29b43b4d7f84564324afc24941e1d357a4cfe712 /.github/workflows | |
| parent | [chore] fix testrig build (#4059) (diff) | |
| download | gotosocial-152bcb43b675ee08c131995716c2188ac2282e32.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 }} |
