aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsbolint4
1 files changed, 2 insertions, 2 deletions
diff --git a/sbolint b/sbolint
index 2595740..7e31b24 100755
--- a/sbolint
+++ b/sbolint
@@ -1338,8 +1338,8 @@ sub check_github_url {
$dir = $tag;
} elsif(@parts == 1) {
$tag = $dir = $parts[0];
- if($tag =~ /^[0-9a-f]{6,}$/ && $tag !~ /^20\d{8,}/) {
- # commit hash. the /^20\d{8,}/ is to exclude ISO dates like 20240402
+ 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?
if($filename =~ /([0-9a-f]{40})\./) {