chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4a4c05e
)
lint: don't assume trailing slashes in urls are redundant
author
Daniel Martí
<mvdan@mvdan.cc>
Fri, 5 Jun 2015 14:56:25 +0000
(16:56 +0200)
committer
Daniel Martí
<mvdan@mvdan.cc>
Fri, 5 Jun 2015 14:56:51 +0000
(16:56 +0200)
fdroidserver/lint.py
patch
|
blob
|
history
diff --git
a/fdroidserver/lint.py
b/fdroidserver/lint.py
index c8588b36dd1aff45b9e782c8b570aff0a8f0b23e..d51dab9222b44fd1851e08867ecbe58ab62cc871 100644
(file)
--- a/
fdroidserver/lint.py
+++ b/
fdroidserver/lint.py
@@
-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