91
Programming / Re: Git push to Github issue.
« on: December 24, 2023, 06:22:48 pm »
Martin, I guess it's been a while since you last pushed. Tokens have been required for pushes for quite a while.
Your access control settings seem reasonable. I'll have to check what I use.
The token is associated with the user id. If you login as os2world, you need token for os2world.
If you login as MartinI, you need a token for MartinI
There's no need to copy/paste tokens. Use a credential helper
In %HOME\.gitconfig add:
[credential]
; helper = cache
helper = store
; helper = store --file d:/home/.git-credentials
Then create %HOME\.git-credentials
and insert the URL:
https://your-name:token-goes-here@github.com
Your access control settings seem reasonable. I'll have to check what I use.
The token is associated with the user id. If you login as os2world, you need token for os2world.
If you login as MartinI, you need a token for MartinI
There's no need to copy/paste tokens. Use a credential helper
In %HOME\.gitconfig add:
[credential]
; helper = cache
helper = store
; helper = store --file d:/home/.git-credentials
Then create %HOME\.git-credentials
and insert the URL:
https://your-name:token-goes-here@github.com