{"push_id":2925404565,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"54d65acedef6555ef1c8525197ea9a772e29bad1","before":"1343c046739a1bfc0b64af68a97445a6836b45e8","commits":[{"sha":"54d65acedef6555ef1c8525197ea9a772e29bad1","author":{"name":"Matt Kaufmann","email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu"},"message":"For defunT, updated termination database and tweaked some comments.","distinct":true,"url":"https://api.github.com/repos/acoglio/acl2/commits/54d65acedef6555ef1c8525197ea9a772e29bad1"}]}
{"actor":{"display_login":"acoglio"}}