[9.x] Close illuminate pull-requests. #40765
Closed
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
#39318 and #40733 have introduced
.github/workflows
folders and.gitattributes
files per sub-repository.The goal is to auto-close any open PR in one of the associated
illuminate
repositories.I feel there is something simpler with less maintenance could be possible here.
Each Github action comes for free with the
gh
cli, so we can use it.In the script file, the repositories for which PR should be close have a
read-only
topic, but this could be anything else.Of course a
GH_TOKEN
needs to be set with write access to theilluminate
organisationThe script would run every hour, which is more than enough
cc @driesvints on this one
Side note, Github also promotes the org wide setting public repository called
.github
:https://docs.github.com/en/communities/setting-up-your-project-for-healthy-contributions/creating-a-default-community-health-file
You could add the script and the workflow fiels in this repository, and you could skip setting the
GH_TOKEN
token; I also feel this would make more sense:And you can also add a bunch of community health files and a global readme, which is great
cf. #40766