mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-06 15:30:28 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

lint: also catch gitlab master links

Browse source
This commit is contained in:
Daniel Martí 2015-11-28 09:52:55 +01:00
parent 301302d76e
commit 41690b7508
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/lint.py
View file

@ -55,7 +55,7 @@ http_url_shorteners = [
http_checks = https_enforcings + http_url_shorteners + [ http_checks = https_enforcings + http_url_shorteners + [
(re.compile(r'.*github\.com/[^/]+/[^/]+\.git'), (re.compile(r'.*github\.com/[^/]+/[^/]+\.git'),
"Appending .git is not necessary"), "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"), "Use /HEAD/ instead of /master/ to point at a file in the default branch"),
] ]