chiark / gitweb /
lint: also catch gitlab master links
authorDaniel Martí <mvdan@mvdan.cc>
Sat, 28 Nov 2015 08:52:55 +0000 (09:52 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sat, 28 Nov 2015 08:52:55 +0000 (09:52 +0100)
commit41690b7508d4648c5072bf9ab089434b93c4267a
tree5f7883023b3c47291dfd975f880d55413d321c22
parent301302d76ed699f3488ffc578ea6487409318ac7
lint: also catch gitlab master links
fdroidserver/lint.py