Есть ли способ с одной командой получить последнее зеркало удаленного репо? Это
- если локального репо еще нет: clone
- если он там: тянуть
Я знаю, что я мог бы script это вокруг (например, if [ -d repo ]; then (cd repo && git pull); else git clone $repourl;fi
), но мне нужен простейший возможный кросс-платформенный способ (фактически используемый для Jenkins-CI, который, как я знаю, делает это по умолчанию, однако мне нужно 2 repos для которых поддержка ограничена).
Git имеет похожие ярлыки для других вещей (например, checkout -b и pull pull), поэтому мне интересно, пропустил ли я что-то. Спасибо!