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;