Skip to content

Write commit hashes into the lock dir when locking git repositories#13297

Merged
Leonidas-from-XIV merged 8 commits intoocaml:mainfrom
Leonidas-from-XIV:lock-git-revision-take-2
Jan 23, 2026
Merged

Write commit hashes into the lock dir when locking git repositories#13297
Leonidas-from-XIV merged 8 commits intoocaml:mainfrom
Leonidas-from-XIV:lock-git-revision-take-2

Commits

Commits on Jan 23, 2026