{"push_id":593633191,"size":1,"distinct_size":1,"ref":"refs/heads/memory-safety-property","head":"109444c9e95c8a5773da0f718d2028af2cc6649c","before":"9eac602a223c58239415a427481e4548247ab100","commits":[{"sha":"109444c9e95c8a5773da0f718d2028af2cc6649c","author":{"email":"341a25d07f03f7943ff712893cf1fcd1716ab900@seas.upenn.edu","name":"Arthur Azevedo de Amorim"},"message":"Remove admit about blocks.","distinct":true,"url":"https://api.github.com/repos/micro-policies/micro-policies-coq/commits/109444c9e95c8a5773da0f718d2028af2cc6649c"}]}