Changing a remote URL in git | Hacker News Reader