On Tue, Mar 27, 2018 at 18:19:43 +0200, Andrea Bolognani wrote:
This reverts commit c190e17fb8f689a0591dedded33d10cecafe3e20.
As the original commit message so eloquently explains, the
diff contains the tweaks I need for my local setup and it was,
of course, never supposed to be pushed :/
Signed-off-by: Andrea Bolognani <abologna(a)redhat.com>
One of the actually useful things about the commit hook we have is that
if you don't sign-off the commit you can't push it. Thus you should not
sign-off commits which are not ready ...