+ git checkout -f 51682dab1f0fe00761170e3344a630cdffb785d5 Previous HEAD position was 67871bd9 Updated nightly build HEAD is now at 51682dab Updated nightly build