Have Makefile use git tag to sort the tags

EliahKagan · EliahKagan · commit 335d03b17456 · 2023-09-13T05:42:27.000-04:00
diff --git a/Makefile b/Makefile
@@ -8,10 +8,10 @@ clean:
 
 release: clean
 	# Check if latest tag is the current head we're releasing
-	echo "Latest tag = $$(git tag | sort -nr | head -n1)"
+	echo "Latest tag = $$(git tag -l '[0-9]*' --sort=-v:refname | head -n1)"
 	echo "HEAD SHA       = $$(git rev-parse HEAD)"
-	echo "Latest tag SHA = $$(git tag | sort -nr | head -n1 | xargs git rev-parse)"
-	@test "$$(git rev-parse HEAD)" = "$$(git tag | sort -nr | head -n1 | xargs git rev-parse)"
+	echo "Latest tag SHA = $$(git tag -l '[0-9]*' --sort=-v:refname | head -n1 | xargs git rev-parse)"
+	@test "$$(git rev-parse HEAD)" = "$$(git tag -l '[0-9]*' --sort=-v:refname | head -n1 | xargs git rev-parse)"
 	make force_release
 
 force_release: clean
