Leonard Hecker 0b63c1f46d Don't run git merge quietly
This can and will mess up git rebases and force pushes.
2018-12-06 15:53:34 +01:00
..
2018-12-06 15:53:34 +01:00