+ git checkout -f b585474c956d90a292bb1d0fa9a35d6aaa2e79cb Previous HEAD position was 37d550e9 Updated nightly build HEAD is now at b585474c Documentation: masters, playground, test reports
