{"push_id":548935263,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ab7852a48174e23a2486a6e8dfaa5e8cc546a091","before":"b233ba050dd86cfb05cf0b9b37e705f075be75f6","commits":[{"sha":"ab7852a48174e23a2486a6e8dfaa5e8cc546a091","author":{"email":"7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","name":"leepike"},"message":"ivory-paper: more on effects, start modules.","distinct":true,"url":"https://api.github.com/repos/GaloisInc/ivory/commits/ab7852a48174e23a2486a6e8dfaa5e8cc546a091"}]}