mirror of
https://seed.radicle.dev/rad:z4V1sjrXqjvFdnCUbxPFqd5p4DtH5.git
synced 2026-11-04 03:00:32 +08:00
This now allows setting `GIT_HEAD` "from the outside" and will gracefully fall back to "unknown" in case there's any issue figuring out what HEAD refers to.