You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
An FAQ-style doc to be distributed with the pre-course prep materal. Will grow as needed.
Some initial points:
master vs main branch issues
note on changing name of existing branch
note on setting default branch name with git config --global init.defaultBranch main
Windows authentication
no need for PAT key
error 403 on push means auth error
if no prompt to enter username/password, then git is using windows credential managet (see below)
If error 403, and Windows is using credential manager, then go to control panel -> credential manager -> windows credentials and delete entry for github.com. The user should then be prompted for user/pass on next push.
The text was updated successfully, but these errors were encountered:
An FAQ-style doc to be distributed with the pre-course prep materal. Will grow as needed.
Some initial points:
git config --global init.defaultBranch main
If error 403, and Windows is using credential manager, then go to
control panel -> credential manager -> windows credentials
and delete entry for github.com. The user should then be prompted for user/pass on next push.The text was updated successfully, but these errors were encountered: