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
(from parent 1:
301302d
)
lint: also catch gitlab master links
author
Daniel Martí
<mvdan@mvdan.cc>
Sat, 28 Nov 2015 08:52:55 +0000
(09:52 +0100)
committer
Daniel Martí
<mvdan@mvdan.cc>
Sat, 28 Nov 2015 08:52:55 +0000
(09:52 +0100)
fdroidserver/lint.py
patch
|
blob
|
history
diff --git
a/fdroidserver/lint.py
b/fdroidserver/lint.py
index 82c6eddd8d950e7032267f544a36b3e643a2ba92..db6707c1c6c3ecc139fcef2b7a2db1bcdbcdb24f 100644
(file)
--- a/
fdroidserver/lint.py
+++ b/
fdroidserver/lint.py
@@
-55,7
+55,7
@@
http_url_shorteners = [
http_checks = 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/)'),
+ (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"),
]