Re: GIT problem

[Stefan Monnier <monnier@iro.umontreal.ca>]

>   git remote remove origin
>   # this re-adds it
>   git remote add origin <new URL>

Better go with

    git remote set-url origin <newURL>


-- Stefan