Skip to content

remove number type currency as NumberFormatter::TYPE_CURRENCY is deprecated in PHP 8.3 #2

remove number type currency as NumberFormatter::TYPE_CURRENCY is deprecated in PHP 8.3

remove number type currency as NumberFormatter::TYPE_CURRENCY is deprecated in PHP 8.3 #2

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 === "twigphp") {
github.rest.issues.createComment({
owner: "twigphp",
repo: context.repo.repo,
issue_number: context.issue.number,
body: `
Thanks for your pull request! We love contributions.
However, you should instead open a pull request on the main repository:
https://github.com/twigphp/Twig
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: "twigphp",
repo: context.repo.repo,
pull_number: context.issue.number,
state: "closed"
});
}