Repository navigation

Ask infra for the deploy PR after a green push to main - #6

Merged

bulbashenko merged 2 commits into

mainfrom

Oct 12, 2026

Merged

Ask infra for the deploy PR after a green push to main#6
bulbashenko merged 2 commits into
mainfrom
deploy-prs

Commits on Oct 12, 2026
- Ask infra for the deploy PR after a green push to main
  
  bulbashenko
  and
  claude
  committed
  757fdec
- Re-run CI now that infra has request-promote.yml
  
  bulbashenko
  and
  claude
  committed
  477c979