git what does pull do code example Example: how to pull from a branch in git git pull origin other-branch