1
0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-10-05 18:50:09 +02:00

lint: warn about /master/ usage

This commit is contained in:
Daniel Martí 2015-08-24 16:34:39 -07:00
parent 0fb7acdd1d
commit e88816bbe3

View File

@ -58,6 +58,8 @@ http_url_shorteners = [
http_warnings = 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/)'),
"Use /HEAD/ instead of /master/ to point at a file in the default branch"),
# TODO enable in August 2015, when Google Code goes read-only
# (re.compile(r'.*://code\.google\.com/.*'),
# "code.google.com will be soon switching down, perhaps the project moved to github.com?"),