ci(promote): replace push-based promotion with PR gate#1195
Merged
castrojo merged 1 commit intoublue-os:mainfrom Mar 17, 2026
Merged
ci(promote): replace push-based promotion with PR gate#1195castrojo merged 1 commit intoublue-os:mainfrom
castrojo merged 1 commit intoublue-os:mainfrom
