{"push_id":957606296,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"35e85e3c9ce9b85b8c86f936a06302efe0f6508e","before":"e6d90182aea264c4050f6c899538fed93084b428","commits":[{"sha":"ec1300c7aafe4875e717125c076281f70e776b8c","author":{"email":"cb58678883734154a2ae59b2835ebd36562dc351@ishoejby.dk","name":"jannik"},"message":"Explain Twelf totality proof in report.","distinct":true,"url":"https://api.github.com/repos/jannik/verified-compilation/commits/ec1300c7aafe4875e717125c076281f70e776b8c"},{"sha":"35e85e3c9ce9b85b8c86f936a06302efe0f6508e","author":{"email":"cb58678883734154a2ae59b2835ebd36562dc351@ishoejby.dk","name":"jannik"},"message":"Merge branch 'master' of https://github.com/jannik/verified-compilation","distinct":true,"url":"https://api.github.com/repos/jannik/verified-compilation/commits/35e85e3c9ce9b85b8c86f936a06302efe0f6508e"}]}