aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsbolint6
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})\./) {