+ git checkout -f f33cf57e370891b85213260b13cb0f8a98d4b5ef Previous HEAD position was d006e6f4 Updated nightly build HEAD is now at f33cf57e Updated nightly build
