Disable git diff tool for debian servers