{"push_id":561338278,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"19becdb196ea6065523d50f280f61ab50b15bd90","before":"6ac5a7b7855036bdc37d77534382e2d4f65803f8","commits":[{"sha":"8fd3e79dc0765664c546e0e2f234f528b00a2e58","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Comments for the Ivory language def","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/8fd3e79dc0765664c546e0e2f234f528b00a2e58"},{"sha":"19becdb196ea6065523d50f280f61ab50b15bd90","author":{"email":"064deff2c110d69624a1749813afa7492d8667d5@galois.com","name":"Trevor Elliott"},"message":"Rework the procedures and memory management sections","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/19becdb196ea6065523d50f280f61ab50b15bd90"}]}