chiark / gitweb /
dot/gitconfig.in: Tweak email preferences.