Fix: gitdist: dist-repo-status: Display tag or SHA1 instead of 'HEAD'#590
Merged
bartlettroscoe merged 5 commits intomasterfrom gitdist-head-tag-and-sha1-fix-againJun 30, 2023
+618-487
Commits
Commits on Jun 30, 2023
- committed
- committed
- committed
- committed
- committed
