A Git Tidbit
I'm working on a framework on github, and I recently decided to rename it. Conveniently, github has a neat little "rename repository" widget that does exactly that.
However, this produces a problem: it changes the URL of the repository, and my local clone is pointing to the old URL. After googling around a bit, I decided to take a shot in the dark and did this:
- cd /path/to/my/clone
- git remote rm origin
- git remote add origin git@github.com....
Thankfully, that worked, and my pushes and pulls now use my repository's new URL.
Comments
... or just edit the url in
... or just edit the url in the remotes section of .git/config
... or `git config remote.origin.url = `