clarify that git user.name does NOT have to coincide with github username