.bash_profile: correct git-completion extension from .sh to .bash