Search
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
- ››
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.

... 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 = `