Better detection of git hashes.

1 files changed, 4 insertions, 2 deletions

diff --git a/sbolint b/sbolint
index 2b9b537..0307433 100755
--- a/sbolint
+++ b/sbolint
@@ -1336,8 +1336,10 @@ sub check_github_url {
 		$dir = $tag;
 	} elsif(@parts == 1) {
 		$tag = $dir = $parts[0];
-		if($tag =~ /^[0-9a-f]{7,}$/ && $tag !~ /^20\d{6,}/) {
-			# commit hash. the /^20\d{6,}/ is to exclude ISO dates like 20240402
+		if($tag =~ /^[0-9a-f]{6,}$/ && $tag !~ /^\d{4,8}$/) {
+			# commit hash. normally these are 7 hex digits, but a few
+			# builds have a 6-digit one. The 2nd regex is to eliminate
+			# dates used as tags.
 			if(length($tag) < 40) {
 				# shortened, maybe the full hash is in the filename?
 				if($filename =~ /([0-9a-f]{40})\./) {