I am installing Git on an Ubuntu system. I need to set user.name. I already have a GitHub account. If my full name is John Doe, and I've set up my GitHub account with the username "Jon-D", do I need to use that name for the Git user.name or can I (should I) use my full name?I am installing Git on an Ubuntu system. I need