Mirror to GitHub: read the token from MIRROR_TOKEN #313
Auto-merge didn't turn on by itself (branch rule main auto-merges test-bot's pull requests): the pull request changes workflow file .github/workflows/mirror-to-github.yml; CI can't gate a change to itself, so a person must merge it. A person can merge it.
cnbrkdmrci merged commit bf45615 into main
Pull request successfully merged and closed
cnbrkdmrci merged bf45615 into main
Sign in to join the conversation.
Requested by Can · project thread
Secret names starting with
GITHUB_are reserved (as on GitHub), so the github-mirror environment can't holdGITHUB_MIRROR_TOKEN. The Mirror to GitHub workflow andscripts/mirror-to-github.shnow readMIRROR_TOKEN, the name the environment secret was saved under. Rename only, no other change.This changes a workflow file, so it needs a person's merge.
🤖 Generated with Claude Code
https://claude.ai/code/session_0111z4cdbfHSp6ssggDFN2Nb