git pull github main && ^
git push && git push github