Created
August 7, 2016 00:31
-
Star
(479)
You must be signed in to star a gist -
Fork
(102)
You must be signed in to fork a gist
-
-
Save DianaEromosele/fa228f6f6099a8996d3cb891109ab975 to your computer and use it in GitHub Desktop.
Change "origin" of your GIT repository
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ git remote rm origin | |
| $ git remote add origin git@github.com:aplikacjainfo/proj1.git | |
| $ git config master.remote origin | |
| $ git config master.merge refs/heads/master |
3 years later, thnx x 1k
After doing this, github desktop wants me to publish the local copy!?!
If I use
$ git remote set-url origin <remote_url>
I don't run into this problem. They are properly synced.
Thank you. As a noob, it is very helpful to see the simple way things get done.
After GitHub changed the default branch name from master to main, I used:
$ git remote rm origin
$ git remote add origin git@github.com:aplikacjainfo/proj1.git
$ git config main.remote origin
$ git config main.merge refs/heads/main
ThankYou So Much. This is so helpful
Thank you! Great help.
Beautiful! Thank you so much!
thanks, this helped alot..
thanks!
Thanks
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I left off the last 2 commands, still worked.