Skip to content

feat(dev-lead): agent_ref input for pinned script checkout (#535) #537

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
don-petry merged 1 commit into from
Jun 10, 2026
Merged

feat(dev-lead): agent_ref input for pinned script checkout (#535) #537

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 12 additions & 1 deletion .github/workflows/dev-lead-reusable.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,15 @@ on:
type: string
required: false
default: ""
agent_ref:
# Ref of petry-projects/.github-private to check out for the dev-lead
# scripts. A trigger-stub caller passes its pinned channel (dev-lead/stable)
# so the agent runs at the pinned version, not main — the self-host pin
# (#535/#506). Defaults to "main" → unchanged behaviour.
description: "Ref of petry-projects/.github-private to check out for dev-lead scripts"
type: string
required: false
default: "main"
secrets:
CLAUDE_CODE_OAUTH_TOKEN:
required: true
Expand Down Expand Up @@ -95,7 +104,9 @@ jobs:
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
with:
repository: petry-projects/.github-private
ref: main
# Pinned channel (e.g. dev-lead/stable) when a trigger stub passes it;
# defaults to "main" → unchanged behaviour (#535/#506).
ref: ${{ inputs.agent_ref }}
path: .dev-lead
# Cross-repo callers: github.token cannot read a private org repo — ensure
# GH_PAT_WORKFLOWS is set as an org or repo secret in the calling repo.
Expand Down
Loading