Я работаю в «треугольном» рабочем процессе: я разветвил репозиторий GitHub в восходящем направлении, чтобы сделать исходное репо, а затем клонировал его, чтобы сделать локальное репо.
Я [думаю] понимаю, как синхронизировать мой локальный репозиторий с вышестоящим репозиторием, а затем выполнить 'git push origin', чтобы вытолкнуть последние новости из вышестоящего потока в разветвленный источник, но ... мне также нужноявно «git pull origin» для синхронизации моего локального и моего репо / origin репо? Или это происходит, когда я выполняю свою обычную работу, а затем выполняю git add / commit / push?
Если да, то я использую только 'git pull origin' или что-то еще?