Re: GIT problem

[Stefan Monnier]

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

Better go with

    git remote set-url origin <newURL>


-- Stefan