aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsbolint4
1 files changed, 1 insertions, 3 deletions
diff --git a/sbolint b/sbolint
index 1ad3cc2..fddac40 100755
--- a/sbolint
+++ b/sbolint
@@ -1235,9 +1235,7 @@ sub check_github_url {
# do not police releases/ or raw/ URLs, only archive/
return unless $url =~ m{github\.com/[^/]*/[^/]*/archive/};
- if($url =~ s,refs/tags/,,) {
- log_error "$file: github URLs should not have refs/tags/";
- }
+ $url =~ s,refs/tags/,,;
#https: // site/ .../ .../ archive/ ...everything else.
(my $proto, undef, undef, $user, $proj, undef, @parts) = split /\//, $url;