{"push_id":1281028304,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3f7ed563f2fe6ec86e71e316d17f26e7b9855ccb","before":"dfae6b17c926b48717e6394cfc2a9cb9568b017f","commits":[{"sha":"3f7ed563f2fe6ec86e71e316d17f26e7b9855ccb","author":{"name":"Alain Mebsout","email":"e150ddc410f7706fa0fd6356dcb94248ff24e376@gmail.com"},"message":"Slightly more efficient LFSC type checking","distinct":true,"url":"https://api.github.com/repos/ekiciburak/smtcoq/commits/3f7ed563f2fe6ec86e71e316d17f26e7b9855ccb"}]}
{"actor":{"display_login":"mebsout"}}