bash: teach __git_ps1 about REVERT_HEAD
[git] / t / .gitattributes
1 t[0-9][0-9][0-9][0-9]/* -whitespace