Как git pu sh для двух репозиториев, в то время как git вытащить из одного репозитория

Question

Я работаю на linux сервере (не для рабочего стола) и у меня есть два репозитория. Один предназначен для разработки (github), другой - локальный репозиторий моей лаборатории (gitlab).

Мне нужно, чтобы два репозитория всегда были одинаковыми, и я могу сделать pu sh и вытащить в моем репозитории dev, тогда как только pu sh в моем локальном репозитории, чтобы мои коллеги могли git pull из моего лабораторного репозитория. Мой лабораторный репозиторий используется только для обмена моим проектом с моими коллегами: я ничего не делаю, кроме git push, а они ничего не делают, кроме git pull. Вот и все.

Ну, вы можете спросить, почему не используйте репозиторий dev. Это потому, что они не имеют права подключаться к Inte rnet.

. Мне не нравится выполнять много команд для каждого действия. Например, сейчас я должен выполнить следующие команды для git push для двух репозиториев:

cd devRepo
# coding here
# git add & git commit & git push here
cd ../myLabRepo
cp -r ../devRepo/* ./
# git add & git commit & git push here

Это довольно скучно. Из c я знаю, что могу использовать сценарий bash, но мне интересно, есть ли какой-нибудь специализированный инструмент для этого или, может быть, Git способен это сделать.

Answer 1

Вы можете указать более одного pu sh местоположения для одного и того же пульта.

git remote set-url --add --push <remote name> <push url> 

Проверьте это с помощью git remote -v

Вы должны увидеть исходный pu sh и получить URL-адреса вместе с добавленным вами дополнительным URL-адресом pu sh.

Answer 2

Вы можете добавить весь имеющийся материал в скрипт bash и запустить его. В противном случае, вы можете добавить пульт дистанционного управления в ваш первый репозиторий и сделать там также pu sh вместо копирования всего вашего проекта.

git add & git commit & git pull origin master & git push origin master & git push local master