Git добавить другой псевдоним / псевдоним для удаленного в отношении извлечения и толкания

Question

Я хочу получить следующее:

git remote -v

from_gitlab git@gitlab.com:<username>/<remote_repo_name> (fetch) to_gitlab git@gitlab.com:<username>/<remote_repo_name> (push)

Так что я могу иметь самодокументируемые команды, такие как:

git push to_gitlab master

и

git pull from_gitlab master

Как бы я это сделал?

Я знаю о git remote add, но он добавляет как fetch, так и push.

Мне нужна команда типа (обратите внимание, что это вымышленная): git remote add --fetch и git remote add --push для добавления псевдонима / псевдонима для push и fetch соответственно.

Answer 1

Я нашел хакерский способ сделать это. Любой менее хакерский способ был бы оценен. Вот команды:

Для толчка:

git remote add to_gitlab no_pulling

git remote set-url --push to_gitlab git@gitlab.com:mettamage_proton/fruit-calculator.git

Для тяги:

git remote add from_gitlab git@gitlab.com:<username>/<online_repo_name>

git remote set-url --push no_pushing

Результат с git remote -v:

to_gitlab no_pulling (fetch) to_gitlab git@gitlab.com:<username>/<online_repo_name> (push) from_gitlab git@gitlab.com:<username>/<online_repo_name> (fetch) from_gitlab no_pushing (push)