+ git checkout -f 13224e9834d10836a2d097eeda4d587bd4c951b6 Previous HEAD position was 6dba89c7 Updated nightly build HEAD is now at 13224e98 Updated nightly build
