Branch: refs/heads/master Home: https://github.com/tribe29/checkmk Commit: 09830d319547476fa8e7241520c214a481e5cd01 https://github.com/tribe29/checkmk/commit/09830d319547476fa8e7241520c214a48… Author: Lars Michelsen <lm(a)tribe29.com> Date: 2019-10-30 (Wed, 30 Oct 2019) Changed paths: M CONTRIBUTING.md M buildscripts/scripts/test-gerrit.jenkins Log Message: ----------- Fixed mypy gerrit job and updated commands in docs Change-Id: If9189cb5e1395c771ee4979e24c6f83a804cff6a