2025-05-15 08:57.22: New job: git clone { "repo": "https://github.com/mirage/irmin", "gref": "2.9.0" } 2025-05-15 08:57.22: Exec: "git" "-C" "/var/lib/ocurrent/var/git/irmin-249f70a12f1748ae21299be7cfdae73ed66e843c36e5c9098d0d1275d00baae5" "fetch" "-q" "-f" "https://github.com/mirage/irmin" "2.9.0:refs/remotes/origin/2.9.0" 2025-05-15 08:57.22: Exec: "git" "-C" "/var/lib/ocurrent/var/git/irmin-249f70a12f1748ae21299be7cfdae73ed66e843c36e5c9098d0d1275d00baae5" "rev-parse" "origin/2.9.0" 2025-05-15 08:57.22: Job succeeded