Skip to content

Use a simple heuristic to determine if a git_tag is actually a git rev#41

Draft
hikinggrass wants to merge 1 commit intomainfrom feature/heuristically-detect-git-rev-usage-in-git-tag
+9-2

Commits

Commits on May 14, 2024