diff --git a/.agents/instructions.toml b/.agents/instructions.toml index 065b919..ed64752 100644 --- a/.agents/instructions.toml +++ b/.agents/instructions.toml @@ -2,5 +2,5 @@ # it is on, and the shared blocks it has. Its drift check reads this file, # and its apply job rewrites it. Which blocks a repository should carry is # decided upstream in repos.json, not here. -ref = "v2" -blocks = ["workflow", "rust"] +ref = "0.1.1" +blocks = ["workflow", "rust", "changelog"] diff --git a/.github/workflows/update-instructions.yml b/.github/workflows/update-instructions.yml new file mode 100644 index 0000000..db8d8e8 --- /dev/null +++ b/.github/workflows/update-instructions.yml @@ -0,0 +1,34 @@ +name: Update shared instructions + +# Proposes the latest release of aicers/agent-instructions as a pull +# request: it rewrites the marked regions in AGENTS.md and moves the pin in +# `.agents/instructions.toml`. A run that finds this repository already on +# the latest release opens nothing. +# +# No `with:` and no `secrets:`, deliberately. Which blocks this repository +# takes is decided upstream in repos.json and read out of the release; the +# pin comes from the file. Nothing here needs editing, which is what lets +# the apply run on the default GITHUB_TOKEN: it never has to push a change +# to a workflow file, and GitHub refuses such a push from the Actions app. +# +# workflow_dispatch is not only for convenience. GitHub disables a schedule +# after 60 days without repository activity, and does so silently, so the +# manual trigger is how a stopped schedule is recovered without a dummy +# commit. +# +# The pull request arrives with no checks on it. Events from GITHUB_TOKEN +# start no workflow runs, which is GitHub's guard against a workflow +# retriggering itself. Close and reopen the pull request to run them. + +on: + schedule: + - cron: "0 6 * * 1" + workflow_dispatch: + +jobs: + update: + name: Update + permissions: + contents: write + pull-requests: write + uses: aicers/agent-instructions/.github/workflows/apply.yml@main diff --git a/AGENTS.md b/AGENTS.md index 10c7f3a..3788173 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -5,7 +5,7 @@ The marked regions below are generated from Do not edit them here — change the wording upstream, tag a release, and re-run its sync. The drift check in CI fails if this copy diverges. - + ## Language - Code, comments, commit messages, PR descriptions, and issues are written @@ -29,9 +29,10 @@ re-run its sync. The drift check in CI fails if this copy diverges. - Branch names must follow the format `/issue-#` (e.g., `alice/issue-42`). If there is no related issue, ask the user how to proceed before creating the branch. -- The sole exception is a branch carrying a synced update to the shared - blocks below, which uses `/instructions-