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