Вы уже знаете, что каждый пульт хранит URL: origin
буквально означает https://<username>:<AccessToken>@<domain>/<owner>/<reponame>.git/
.
Что вы не знали, так это то, что каждый пульт на самом деле хранит два URL.Один используется для git fetch
, а второй - для push
.Второй URL-адрес по умолчанию совпадает с первым URL-адресом, но если вы установите его, вы можете установить для него что-нибудь еще, например, URL-адрес без маркера доступа.Чтобы установить второй URL-адрес, вы можете использовать git remote set-url --push
:
git remote set-url --push origin <url>
Если вы похожи на меня, возможно, вы захотите узнать и о git config --edit
, который откроет файл конфигурации (обычно просто.git/config
) в том же редакторе вы используете Git для всего остального, где вы можете просто редактировать его напрямую.Но git remote
- это инструмент, предназначенный для работы с настройками, прикрепленными к каждому имени пульта.