ci: run sync-man-pages on the container runner !11

merged merged by cmc on 2026-09-11 01:05 UTC · krz/hutch:ci-podman-runner into main

Discussion

cmc

The job pushes and opens its merge request as the hutch-ci account (write on this repository) through the BOT_SSH_KEY secret, using ssh -F with a workspace config and GITBAY_SSH for the instance address. The bay1 runner is attached to this repository; accessibility needs nothing further.

Closes #1