{"push_id":988421416,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"65f806b1cfe70eeadce2dffe73ae934e883cc4aa","before":"347cffa4bf95ce4cdb872c215b9aa00433712d13","commits":[{"sha":"65f806b1cfe70eeadce2dffe73ae934e883cc4aa","author":{"email":"cfb2ac0f41b3a66a8c4e34a72520665f71d5038c@microsoft.com","name":"Jonathan Protzenko"},"message":"ocamlopt knows which cc to use","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/65f806b1cfe70eeadce2dffe73ae934e883cc4aa"}]}