Change "origin" of your GIT repository

Change "origin" of your GIT repository

$ 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

thanks for this!

Can someone explain what each of the commands do?
Thanks.

Wouldn't git remove set-url origin <url> be shorter?

Thank you! Thank you! Thank you!!!

Wouldn't git remove set-url origin <url> be shorter?

it would be if it worked, however it rarely works for all sorts of reasons (push and fetch urls being different, different branches having different remotes, multiple urls for a single remote)

@bal

Wouldn't git remove set-url origin <url> be shorter?

it would be if it worked, however it rarely works for all sorts of reasons (push and fetch urls being different, different branches having different remotes, multiple urls for a single remote)

Makes sense!

Thank you so much! It worked for me as well!

Thank you for the hint

Wouldn't git remove set-url origin <url> be shorter?

it would be if it worked, however it rarely works for all sorts of reasons (push and fetch urls being different, different branches having different remotes, multiple urls for a single remote)

I think you mean git remote set-url origin <url>

+1

what are the last 2 commands for though?

I left off the last 2 commands, still worked.

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