From 40990abf0b59523374ef308c9bef912dc4e31745 Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Mon, 10 Mar 2025 09:56:37 +0100 Subject: [PATCH] Forbid develop branch fork contributions --- .github/workflows/pull_request.yml | 34 +++++++++++++++++++++++++++++- 1 file changed, 33 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index dde2a75a6e..42537c54b4 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -1,7 +1,12 @@ name: Pull Request on: pull_request: - types: [ opened, labeled, unlabeled ] + types: [ opened, edited, labeled, unlabeled, synchronize ] + workflow_call: + secrets: + ELEMENT_BOT_TOKEN: + required: true + jobs: prevent-blocked: name: Prevent blocked @@ -43,3 +48,30 @@ jobs: repo: context.repo.repo, labels: ['Z-Community-PR'] }); + + close-if-fork-develop: + name: Forbid develop branch fork contributions + runs-on: ubuntu-latest + if: > + github.event.action == 'opened' && + github.event.pull_request.head.ref == 'develop' && + github.event.pull_request.head.repo.full_name != github.repository + steps: + - name: Close pull request + uses: actions/github-script@v7 + with: + script: | + github.rest.issues.createComment({ + issue_number: context.issue.number, + owner: context.repo.owner, + repo: context.repo.repo, + body: "Thanks for opening this pull request, unfortunately we do not accept contributions from the main" + + " branch of your fork, please re-open once you switch to an alternative branch for everyone's sanity.", + }); + + github.rest.pulls.update({ + pull_number: context.issue.number, + owner: context.repo.owner, + repo: context.repo.repo, + state: 'closed' + });