File tree Expand file tree Collapse file tree 3 files changed +46
-2
lines changed Expand file tree Collapse file tree 3 files changed +46
-2
lines changed Original file line number Diff line number Diff line change 11/Tests export-ignore
22/phpunit.xml.dist export-ignore
3- /.gitattributes export-ignore
4- /.gitignore export-ignore
3+ /.git * export-ignore
Original file line number Diff line number Diff line change 1+ Please do not submit any Pull Requests here. They will be closed.
2+ ---
3+
4+ Please submit your PR here instead:
5+ https://github.com/symfony/symfony
6+
7+ This repository is what we call a "subtree split": a read-only subset of that main repository.
8+ We're looking forward to your PR there!
Original file line number Diff line number Diff line change 1+ name : Check subtree split
2+
3+ on :
4+ pull_request_target :
5+
6+ jobs :
7+ close-pull-request :
8+ runs-on : ubuntu-latest
9+
10+ steps :
11+ - name : Close pull request
12+ uses : actions/github-script@v6
13+ with :
14+ script : |
15+ if (context.repo.owner === "symfony") {
16+ github.rest.issues.createComment({
17+ owner: "symfony",
18+ repo: context.repo.repo,
19+ issue_number: context.issue.number,
20+ body: `
21+ Thanks for your Pull Request! We love contributions.
22+
23+ However, you should instead open your PR on the main repository:
24+ https://github.com/symfony/symfony
25+
26+ This repository is what we call a "subtree split": a read-only subset of that main repository.
27+ We're looking forward to your PR there!
28+ `
29+ });
30+
31+ github.rest.pulls.update({
32+ owner: "symfony",
33+ repo: context.repo.repo,
34+ pull_number: context.issue.number,
35+ state: "closed"
36+ });
37+ }
You can’t perform that action at this time.
0 commit comments