chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38d8778) | patch
lint: Also warn about gitlab links missing /issues
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 7 Mar 2016 22:29:45 +0000 (22:29 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 7 Mar 2016 22:30:52 +0000 (22:30 +0000)
commitace4834cf78eb6e37f95a878da7ef0c0415ccffe
treec8f458d3ce2afbb9654ac72f55ec13f8d6e17556tree | snapshot
parent38d8778200a1593b017a0705f0613e481e1397fccommit | diff
lint: Also warn about gitlab links missing /issues
fdroidserver/lint.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.