Обновление имени репозитория git

Я только что изменил название своего репозитория на github, и теперь мой локальный репозиторий (, как и ожидалось, )не может его найти. Как мне обновить имя, или я просто должен рассматривать его как новое удаленное репо?

7
задан Yarin 3 May 2012 в 14:03
поделиться