I needed to change a remote, as the ip address of the remote server had changed.
$ git remote -v
origin ssh://[email protected]:/home/mrbear/store (fetch)
origin ssh://[email protected]:/home/mrbear/store (push)
origin ssh://[email protected]:/home/mrbear/store (fetch)
origin ssh://[email protected]:/home/mrbear/store (push)
So to change it:
git remote set-url origin ssh://[email protected]:/home/mrbear/store
And it becomes:
$ git remote -v
origin ssh://[email protected]:/home/mrbear/store (fetch)
origin ssh://[email protected]:/home/mrbear/store (push)
origin ssh://[email protected]:/home/mrbear/store (fetch)
origin ssh://[email protected]:/home/mrbear/store (push)
References
- CareerKarma - How to Change a Git Remote
- https://careerkarma.com/blog/git-change-remote/