+ git checkout -f 42b30d3cdf383d98a0e1f2f4a919209ec3e7daed HEAD is now at 42b30d3c Updated nightly build