Skip to content

Commit

Permalink
Merge pull request #590 from TriBITSPub/gitdist-head-tag-and-sha1-fix…
Browse files Browse the repository at this point in the history 
…-again

Fix: gitdist: dist-repo-status: Display tag or SHA1 instead of 'HEAD'
  • Loading branch information
@bartlettroscoe
bartlettroscoe authored Jun 30, 2023
2 parents a72ca8e + a9696ff commit f6e0838
Show file tree
Hide file tree
Showing 2 changed files with 618 additions and 487 deletions.
Loading

0 comments on commit f6e0838

Please sign in to comment.