lint: also catch gitlab master links

diff --git a/fdroidserver/lint.py b/fdroidserver/lint.py
index 82c6eddd8d950e7032267f544a36b3e643a2ba92..db6707c1c6c3ecc139fcef2b7a2db1bcdbcdb24f 100644 (file)
--- a/fdroidserver/lint.py
+++ b/fdroidserver/lint.py
@@ -55,7 +55,7 @@ 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/)'),
+    (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"),
 ]