chiark / gitweb /
gitconfig: turn off annoying automerge