Bash profile and Git config