Skip to content

Commit

Permalink
Auto-close PRs on subtree-splits
Browse files Browse the repository at this point in the history
  • Loading branch information
nicolas-grekas committed Apr 18, 2024
1 parent 0e98032 commit 929f31b
Show file tree
Hide file tree
Showing 3 changed files with 46 additions and 2 deletions.
3 changes: 1 addition & 2 deletions .gitattributes
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
/Tests export-ignore
/phpunit.xml.dist export-ignore
/.gitattributes export-ignore
/.gitignore export-ignore
/.git* export-ignore
8 changes: 8 additions & 0 deletions .github/PULL_REQUEST_TEMPLATE.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
Please do not submit any Pull Requests here. They will be closed.
---

Please submit your PR here instead:
https://github.com/symfony/symfony

This repository is what we call a "subtree split": a read-only subset of that main repository.
We're looking forward to your PR there!
37 changes: 37 additions & 0 deletions .github/workflows/check-subtree-split.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: Check subtree split

on:
pull_request_target:

jobs:
close-pull-request:
runs-on: ubuntu-latest

steps:
- name: Close pull request
uses: actions/github-script@v6
with:
script: |
if (context.repo.owner === "symfony") {
github.rest.issues.createComment({
owner: "symfony",
repo: context.repo.repo,
issue_number: context.issue.number,
body: `
Thanks for your Pull Request! We love contributions.
However, you should instead open your PR on the main repository:
https://github.com/symfony/symfony
This repository is what we call a "subtree split": a read-only subset of that main repository.
We're looking forward to your PR there!
`
});
github.rest.pulls.update({
owner: "symfony",
repo: context.repo.repo,
pull_number: context.issue.number,
state: "closed"
});
}

0 comments on commit 929f31b

Please sign in to comment.