+ [[ 0 != 0 ]]
/tmp/hudson8695394781320794287.sh: 7: _scripts/publish-to-github.sh: [[: not found
+ cd _tmp
+ [ ! -d hibernate.github.io ]
+ cd hibernate.github.io
+ git fetch origin
+ git reset --hard origin/master
HEAD is now at f7736b0 Publish generated site