feat(ci): hourly personal-staging refresh with extras manifest - #14

Merged

btli merged 6 commits into

mainfrom

pollux/personal-staging-hourly

Aug 11, 2026

Commits on Aug 10, 2026

feat(ci): hourly personal-staging refresh with extras manifest

btli
and
omnigent
committed
18b7fb3
fix(ci): tell an unreachable upstream apart from a deleted extra

btli
and
omnigent
committed
2b18c50
fix(ci): stop blaming an already-merged PR for a staging move

btli
and
omnigent
committed
1a0cb1b

Commits on Aug 11, 2026

fix(ci): classify hourly push soft-fails and quiet no-op summaries
btli
committed
45a223b
fix(ci): classify hourly main push via porcelain, not prose
btli
committed
7496841
test(ci): pin is_stale_ref_push_rejection flag != "!" guard
btli
committed
75fce0b