search

hiscom / hispid

HISPID Terms
6 stars 1 forks source link

Rename repository #40

Closed ben3000 closed 9 years ago

ben3000 commented 9 years ago

We agreed in today's meeting to rename this repository to "hispid", since it no longer pertains directly to the review.

nielsklazenga commented 9 years ago

That was really hard.

https://help.github.com/articles/renaming-a-repository/

nielsklazenga commented 9 years ago

The command to hook up your local repository again is:

$ git remote set-url origin http://github.com/hiscom/hispid

This didn't work from the Git shell (with or without the 'git' bit) for me, but it did from the command shell. I have already pushed an update since then.