github tag min length now 7 (was 6).

1 files changed, 1 insertions, 1 deletions

diff --git a/sbolint b/sbolint
index 70e4f86..ba2df21 100755
--- a/sbolint
+++ b/sbolint
@@ -1313,7 +1313,7 @@ sub check_github_url {
 		$dir = $tag;
 	} elsif(@parts == 1) {
 		$tag = $dir = $parts[0];
-		if($tag =~ /^[0-9a-f]{6,}$/ && $tag !~ /^20\d{6,}/) {
+		if($tag =~ /^[0-9a-f]{7,}$/ && $tag !~ /^20\d{6,}/) {
 			# commit hash. the /^20\d{6,}/ is to exclude ISO dates like 20240402
 			if(length($tag) < 40) {
 				# shortened, maybe the full hash is in the filename?