git pull git push git merge git gud