+ git checkout -f b9e1a7a7671e201c6fa99244c8a9e68a28739117 Previous HEAD position was f39cc27a Updated nightly build HEAD is now at b9e1a7a7 Updated nightly build