davedelong.com

  • home
  • blog
  • downloads
  • portfolio
  • contact
Home

Search










Have a look at my Amazon Wishlist.

davedelong's tweets

  • heading to bed after a long night of contract stuff — 4 hours 16 min ago
  • RT @dealsplus: Despair :'( Toyota shirt for $12 http://bit.ly/bfLIpQ — 6 hours 4 min ago
  • @kdbdallas "call mom mobile", "dial 1234567890", etc — 7 hours 41 min ago
  • @kdbdallas press and hold your home button — 7 hours 47 min ago
  • just figured out how to voice dial on my iPhone :) — 7 hours 53 min ago
  •  
  • 1 of 480
  • ››
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
  • home
  • blog
  • downloads
  • portfolio
  • contact