{"push_id":3086643876,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a7356f724da842c9a3ae60c3d7d3a223a896dcb8","before":"358ad52d74e518106d7ccb22e75ac98a96b14efc","commits":[{"sha":"a7356f724da842c9a3ae60c3d7d3a223a896dcb8","author":{"name":"Ravi Rahman","email":"aa153b5d1fcb55096034df7a27565f4297f195d2@ravirahman.com"},"message":"Fixed some smt2 bugs","distinct":true,"url":"https://api.github.com/repos/ravirahman/formalized-contracts/commits/a7356f724da842c9a3ae60c3d7d3a223a896dcb8"}]}
{"actor":{"display_login":"ravirahman"}}