diff options
Diffstat (limited to 'sbolint')
| -rwxr-xr-x | sbolint | 4 | 
1 files changed, 3 insertions, 1 deletions
| @@ -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/,,; | 
