.gitconfig: change email to @cmu.edu