В команде git push -u origin master
, origin
- псевдоним удаленного URL.Запустите git remote -v
, чтобы увидеть, что это такое.Это может быть что-то вроде http://18.217.76.112:8080/some/repo.git
.Вы можете попробовать:
git push -u http://3.17.37.46:8080/some/repo.git master
или
git remote set-url origin http://3.17.37.46:8080/some/repo.git
git push -u origin master
или
git remote add new http://3.17.37.46:8080/some/repo.git
git push -u new master
Первое решение одноразовое.Второй обновляет origin
новым URL.Третий создает новый пульт.