Что такое git push и git pull?

git push отправляет локальные коммиты в удалённый репозиторий, а git pull забирает изменения с сервера и объединяет их с текущей веткой. Эти команды нужны для синхронизации работы в команде.