2026-06-09 04:21.47: New job: github-pin-overlay https://github.com/ocaml/odoc → /home/app/.day11/overlays/odoc-master
2026-06-09 04:21.47: $ git -C /home/app/.day11/overlays/odoc-master/upstream fetch --prune --tags origin
2026-06-09 04:21.47: $ git -C /home/app/.day11/overlays/odoc-master/upstream symbolic-ref -q HEAD >/dev/null && git -C /home/app/.day11/overlays/odoc-master/upstream merge --ff-only '@{u}' || { echo "WARNING: HEAD detached at $(git -C /home/app/.day11/overlays/odoc-master/upstream rev-parse --short HEAD); not auto-advancing." >&2; true; }
2026-06-09 04:21.47: Already up to date.
2026-06-09 04:21.47: $ git -C /home/app/.day11/overlays/odoc-master/upstream rev-parse HEAD
2026-06-09 04:21.47: af26831b2a3f28ae2eccdfd145b4f04131b6fd3d
2026-06-09 04:21.47: $ git -C /home/app/.day11/overlays/odoc-master/upstream describe --tags --abbrev=0 2>/dev/null || echo 0.0.0
2026-06-09 04:21.47: 3.2.1
2026-06-09 04:21.47: $ git -C /home/app/.day11/overlays/odoc-master/upstream show -s --format=%ct af26831b2a3f28ae2eccdfd145b4f04131b6fd3d
2026-06-09 04:21.47: 1780559972
2026-06-09 04:21.47: upstream https://github.com/ocaml/odoc 
                     af26831b2a3f28ae2eccdfd145b4f04131b6fd3d (tag 3.2.1) → version 3.2.1+master.1780559972.af26831
2026-06-09 04:21.47: $ git -C /home/app/.day11/overlays/odoc-master/repo status --porcelain
2026-06-09 04:21.47: overlay clean, no commit
2026-06-09 04:21.47: $ git -C /home/app/.day11/overlays/odoc-master/repo rev-parse HEAD
2026-06-09 04:21.47: 04b04f7340201e4d865e51146a6483b43c791459
2026-06-09 04:21.47: /home/app/.day11/overlays/odoc-master/repo 
                     04b04f7340201e4d865e51146a6483b43c791459
2026-06-09 04:21.47: Job succeeded