chiark / gitweb /
lint: don't assume trailing slashes in urls are redundant
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 5 Jun 2015 14:56:25 +0000 (16:56 +0200)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 5 Jun 2015 14:56:51 +0000 (16:56 +0200)
fdroidserver/lint.py

index c8588b36dd1aff45b9e782c8b570aff0a8f0b23e..d51dab9222b44fd1851e08867ecbe58ab62cc871 100644 (file)
@@ -43,8 +43,6 @@ 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