1
0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-09-11 15:13:27 +02:00

Move github .git lint warning to http_warnings

This commit is contained in:
Daniel Martí 2015-06-03 22:51:05 +02:00
parent 9061f71dc4
commit 7018e32b2c

View File

@ -44,6 +44,8 @@ https_enforcings = [
http_warnings = https_enforcings + [
(re.compile(r'.*/$'),
"HTTP links shouldn't end with a slash"),
(re.compile(r'.*github\.com/[^/]+/[^/]+\.git'),
"Appending .git is not necessary"),
# 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?"),
@ -90,16 +92,6 @@ regex_warnings = {
}
regex_pedantic = {
'Web Site': [
(re.compile(r'.*github\.com/[^/]+/[^/]+\.git'),
"Appending .git is not necessary"),
],
'Source Code': [
(re.compile(r'.*github\.com/[^/]+/[^/]+\.git'),
"Appending .git is not necessary"),
],
'Repo': [
],
'Issue Tracker': [
(re.compile(r'.*github\.com/[^/]+/[^/]+/issues/.*'),
"/issues is often enough on its own"),