CI: static check for openstack git URL

Fixes: #1483 Use git ls-remote instead of curl for git URL check Signed-off-by: Xu Wang <[email protected]>
kata-containers · Apr 18, 2019 · 0d28f77 · 0d28f77
1 parent ab9a4e8
commit 0d28f77
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.ci/static-checks.sh b/.ci/static-checks.sh
@@ -438,6 +438,12 @@ check_docs()
 		# Google APIs typically require an auth token.
 		echo "$url"|grep -q 'https://www.googleapis.com' && continue
 
+		# Git repo URL check
+		if echo "$url"|grep -q '^https.*git'
+		then
+			git ls-remote "$url" > /dev/null 2>&1 && continue
+		fi
+
 		# Check the URL, saving it if invalid
 		( curl -sLf -o /dev/null "$url" ||\
 				echo "$url" >> "$invalid_urls") &