Log with a Wrong Git Username

You can log (clone/pull) using any login (wrong one) and your key as the password. Nothing nasty here but it's good to know you no longer need to write your complex github login.

Although in the documentation Github specifies that :

```` Once you have a personal access token, you can enter it instead of your password when performing Git operations over HTTPS.

For example, to clone a repository on the command line you would enter the following git clone command. You would then be prompted to enter your username and password. When prompted for your password, enter your personal access token instead of a password.

$ git clone https://github.com/USERNAME/REPO.git Username: YOUR_USERNAME Password: YOUR_PERSONAL_ACCESS_TOK ````

They should update the doc to become :

Username: ANYTHING Password: YOUR_PERSONAL_ACCESS_TOK