diff options
| -rwxr-xr-x | sbolint | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1232,7 +1232,6 @@ sub curl_head_request { sub check_github_url { my $file = shift; my $url = shift; - my $old_url = $url; my $new_url; my $ext; my $tag; @@ -1242,6 +1241,7 @@ sub check_github_url { # do not police releases/ or raw/ URLs, only archive/ return unless $url =~ m{github\.com/[^/]*/[^/]*/archive/}; + # allow *and ignore* refs/tags $url =~ s,refs/tags/,,; #https: // site/ .../ .../ archive/ ...everything else. @@ -1294,7 +1294,7 @@ sub check_github_url { $new_url = "https://github.com/$user/$proj/archive/$dir/$proj-$ver$ext"; - if($old_url ne $new_url) { + if($url ne $new_url) { log_warning("$file: canonical github URL should be: $new_url"); } } |