I\'m used to running git pull and other commands from within a branch I\'m working on. But I have set up a development server that several people work on, so I don\'t want
Use
git fetch
instead. It updates the remote refs and objects in your repo, but leaves the local branches, HEAD and the worktree alone.