[dj, chris] Made the git checkout explicitly pick head.