updated ghci and gitconfig