Merge changes I157879d0,Ia4dc73f6
authorThanh Ha (zxiiro) <zxiiro@gmail.com>
Thu, 11 Jun 2020 20:30:01 +0000 (20:30 +0000)
committerGerrit Code Review <gerrit@opendaylight.org>
Thu, 11 Jun 2020 20:30:01 +0000 (20:30 +0000)
* changes:
  Make GitLint actually run as part of pre-commit
  Print git-diff when pre-commit fails


Trivial merge