lint: more versatile /HEAD warning

Now catches many more github/gitlab/bitbucket links

diff --git a/fdroidserver/lint.py b/fdroidserver/lint.py
index 7821b5811675a413ead5ce75435c9e1b64572329..f7d79255f5a703a31284591759d119932592ec2a 100644 (file)
--- a/fdroidserver/lint.py
+++ b/fdroidserver/lint.py
@@ -55,8 +55,8 @@ http_url_shorteners = [
 http_checks = https_enforcings + http_url_shorteners + [
     (re.compile(r'.*github\.com/[^/]+/[^/]+\.git'),
      "Appending .git is not necessary"),
-    (re.compile(r'(.*/blob/master/|.*raw\.github.com/[^/]*/[^/]*/master/|.*/raw/master/)'),
-     "Use /HEAD/ instead of /master/ to point at a file in the default branch"),
+    (re.compile(r'.*://[^/]*(github|gitlab|bitbucket|rawgit)[^/]*/([^/]+/){1,3}master'),
+     "Use /HEAD instead of /master to point at a file in the default branch"),
 ]
 
 regex_checks = {