fresh-home-launch.sh: fetch ref= from the worker's mirror or GitHub
Merged
TE
5d ago+9+9+0123456789-1-1-0123456789
Follow-up to #30483. Its first fleet run (the fresh-home launch for #30458) exited 3 with 'origin' does not appear to be a git repository, because a fleet step's checkout has no remotes. ref= is now fetched from origin if it exists, then the worker's git mirror, then GitHub, where a PR head can be fetched by sha.
Observed / Not run
- Observed:
bash -npasses. The failing run's log shows that the step checkout has noorigin, and that the worker keeps a mirror at the path this now tries. - Not run: the fleet run after this lands. Its result goes on #30458.
Risk: low (an on-demand measure script).
Changelog
none
Agent session: agent session
š¤ Generated with Claude Code