bash prompt: remove a redundant 'git diff' option
commit0af9f7ecb8648ab1c6a090913e3df4a39f7c6754
authorSZEDER Gábor <szeder@ira.uka.de>
Sat, 21 Nov 2015 14:46:40 +0000 (21 15:46 +0100)
committerJeff King <peff@peff.net>
Tue, 24 Nov 2015 20:27:01 +0000 (24 15:27 -0500)
treedb382ad2e720930fcc7d409ccd712186474792e4
parenta30d11ebdf78cfd664554090ce31673b01c8fd3b
bash prompt: remove a redundant 'git diff' option

To get the dirty state indicator __git_ps1() runs 'git diff' with
'--quiet --exit-code' options.  '--quiet' already implies
'--exit-code', so the latter is unnecessary and can be removed.

Signed-off-by: SZEDER Gábor <szeder@ira.uka.de>
Signed-off-by: Jeff King <peff@peff.net>
contrib/completion/git-prompt.sh