{"shas":[["3bfe859b2cfee6213658c1befcf2052ae11c7a33","17aac9d15d0248a8a15e273f9f8659096368241b@gmail.com","Handle the case where tidy is not installed","Luca Invernizzi"]],"ref":"refs/heads/master","size":1,"head":"3bfe859b2cfee6213658c1befcf2052ae11c7a33","push_id":37293786}