27 Mar
2018
27 Mar
'18
8:48 p.m.
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@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 ...