davedelong.com

  • home
  • blog
  • downloads
  • portfolio
  • contact
Home

Search










Have a look at my Amazon Wishlist.

davedelong's tweets

  • @mdjensen it depends on the db system. %% might work. — 3 hours 28 min ago
  • Only have one more level on #starcraft2. I'll save it for tomorrow — 4 hours 37 min ago
  • dumb dumb dumb dumb duuuuuuuummmmmmmb http://www.heyuguys.co.uk/2010/07/28/titanic-2-trailer-no-this-is-not-a-... — 1 day 13 hours ago
  • @jergason they screwed up my order, and their help email address never sent anything but automated responses — 1 day 14 hours ago
  • Fed up with @gamestop's terrible customer service. Cancelled my order for #starcraft2 and will buy it from anyone but them — 1 day 14 hours ago
  •  
  • 1 of 592
  • ››
more

A Git Tidbit

davedelong — Mon, 10/05/2009 - 11:22

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.

  • Add new comment

... or just edit the url in

Anonymous — Thu, 06/03/2010 - 09:59

... or just edit the url in the remotes section of .git/config
... or `git config remote.origin.url = `

  • reply
  • home
  • blog
  • downloads
  • portfolio
  • contact