Change github username in gitconfig