chiark / gitweb /
git-debpush: check_treesame: Also pass --quiet to 'git diff'