sbolint: exempt github gists (and raw) URLs from check.

1 files changed, 3 insertions, 1 deletions

diff --git a/sbolint b/sbolint
index fbb40f0..4da2afa 100755
--- a/sbolint
+++ b/sbolint
@@ -1239,7 +1239,9 @@ sub check_github_url {
 	my $dir;
 
 	# do not police releases/ or raw/ URLs, only archive/
-	return unless $url =~ m{github\.com/[^/]*/[^/]*/archive/};
+	# 20241008 bkw: also only police URLs that are in the main github.com
+	# domain, not e.g. raw.github.com or gists.github.com.
+	return unless $url =~ m{//github\.com/[^/]*/[^/]*/archive/};
 
 	# allow *and ignore* refs/tags
 	$url =~ s,refs/tags/,,;