+ git checkout -f 71f7ca3c43226bdbca9f543fb88c4433be838cab HEAD is now at 71f7ca3c Updated nightly build