bash prompt: remove a redundant 'git diff' option