chiark / gitweb /
gitconfig: push.default=simple does not work with wheezy