{"push_id":585303029,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"391f09d43fb6190dcd5fb61fc75fd9ef8187b38a","before":"5aa06e7460589dc1e7529f5b1dd4cd8e80b4c51a","commits":[{"sha":"391f09d43fb6190dcd5fb61fc75fd9ef8187b38a","author":{"email":"7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","name":"leepike"},"message":"ivory-paper: tightened up edsl section.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/391f09d43fb6190dcd5fb61fc75fd9ef8187b38a"}]}