wm4 871900f562 github: we want a -v -v log now ...

--log-file uses debug log level by default. On command line, -v -v will
use debug log level.

2019-11-01 01:56:08 +01:00

..

ISSUE_TEMPLATE

github: we want a -v -v log now

2019-11-01 01:56:08 +01:00

PULL_REQUEST_TEMPLATE

github: try to get contributors to read contribute.md

2019-10-01 21:44:57 +02:00