On each push to the main
branch, all files in global-files/
will be copied to all Exercism repos.
The files in tooling-files
and tracks-files
will be copied to all tooling and track repos respectively.
Tooling and track repos are determined by their exercism-tooling
and exercism-track
topic.
A PR will be opened on each repo, which will (in the future) be automatically merged by a webhook integration.
After pushing, you have 5 minutes to abort the workflow, in case there are any errors in the files that should be synced.
To trigger a rerun of the syncer for a list of repos, create a repository dispatch event with the following payload:
{
"event_type": "repo_update",
"client_payload": {
"repos": ["exercism/julia"],
"pusher": "helpful-user"
}
}
Note that the repo names must be given in the full org/repo
format.
To manually trigger a rerun of the syncer for a list of repos, create a workflow dispatch event.
The repos
input must be given as a JSON-formatted list of repos, e.g. ["exercism/julia"]
.
Note that the repo names must be given in the full org/repo
format.
Sync files that must be present and unchanged in all tracks, e.g.
CODE_OF_CONDUCT.md
LICENSE.md
with up-to-date yearsynced_files/
is part of synced_files/.github/CODEOWNERS
.