What do the commands git pull, git push, and git fetch do?