Sometimes you need to change the repo_url in Git. Run this to clean up after it.
>= 0
William Johnston