// If daves_branch exists on the remote repository, // but not on your local branch, you can simply type: git fetch origin git switch daves_branch