Fix github username setting in gitconfig