Here are a list of options I use for these commands regularly:
Pull:
git pull [destination] [branch]: Merges changes from a remote repository into your current branch
Push:
git push [destination] [branch]: Uploads changes in your current branch to a remote repository