2026-06-08 23:21.33: New job: github-pin-overlay https://github.com/ocaml/odoc → /home/app/.day11/overlays/odoc-master
2026-06-08 23:21.33: $ git clone 'https://github.com/ocaml/odoc' '/home/app/.day11/overlays/odoc-master/upstream'
2026-06-08 23:21.43: $ git -C /home/app/.day11/overlays/odoc-master/upstream rev-parse HEAD
2026-06-08 23:21.44: af26831b2a3f28ae2eccdfd145b4f04131b6fd3d
2026-06-08 23:21.44: $ git -C /home/app/.day11/overlays/odoc-master/upstream describe --tags --abbrev=0 2>/dev/null || echo 0.0.0
2026-06-08 23:21.44: 3.2.1
2026-06-08 23:21.44: $ git -C /home/app/.day11/overlays/odoc-master/upstream show -s --format=%ct af26831b2a3f28ae2eccdfd145b4f04131b6fd3d
2026-06-08 23:21.44: 1780559972
2026-06-08 23:21.44: upstream https://github.com/ocaml/odoc 
                     af26831b2a3f28ae2eccdfd145b4f04131b6fd3d (tag 3.2.1) → version 3.2.1+master.1780559972.af26831
2026-06-08 23:21.44: $ git init -q -b master '/home/app/.day11/overlays/odoc-master/repo'
2026-06-08 23:21.44: $ git -C '/home/app/.day11/overlays/odoc-master/repo' config user.email 'docs-ci@invalid'
2026-06-08 23:21.44: $ git -C '/home/app/.day11/overlays/odoc-master/repo' config user.name 'docs-ci'
2026-06-08 23:21.44: $ git -C /home/app/.day11/overlays/odoc-master/repo status --porcelain
2026-06-08 23:21.44: ?? packages/
2026-06-08 23:21.44: ?? repo
2026-06-08 23:21.44: $ git -C /home/app/.day11/overlays/odoc-master/repo add -A
2026-06-08 23:21.44: $ git -C /home/app/.day11/overlays/odoc-master/repo commit -q -m 'Track 3.2.1 @ af26831b2a3f28ae2eccdfd145b4f04131b6fd3d (version 3.2.1+master.1780559972.af26831)'
2026-06-08 23:21.44: $ git -C /home/app/.day11/overlays/odoc-master/repo rev-parse HEAD
2026-06-08 23:21.44: 04b04f7340201e4d865e51146a6483b43c791459
2026-06-08 23:21.44: /home/app/.day11/overlays/odoc-master/repo 
                     04b04f7340201e4d865e51146a6483b43c791459
2026-06-08 23:21.44: Job succeeded