Troubled by git push permission denied error. Windows credential manager and such are troublesome. That said, Bash on Windows does offer interactive prompts. Since it can’t be done with https, I’ll follow the ssh procedure.
General Flow
$ cat ~/.ssh/id_rsa.pub |clip
Add SSH-key to github.
https://help.github.com/articles/adding-a-new-ssh-key-to-your-github-account/
$ git config user.name "Mona Lisa"
Change the user in local-config to any username.
$ git remote add [email protected]
Remote add the ssh of the remote repository.
Enter yes/no and passphrase, and if you can push, success.
By the way, I wonder what user.email means…
Meaning of user.email in Git
user.email in Git is the email address recorded at commit time. Git commits require a username and email address as mandatory fields.
Why? That’s to track commit history. To track commit history, a username and email address are needed.
That seems to be the reasoning. This was a digression in the additional note.