When we are not currently on a branch, ./tools/pull will now fetch origin, and verify and checkout origin/master.