github.user is OK to have in default gitconfig