{"push_id":2429365048,"size":4,"distinct_size":0,"ref":"refs/heads/master","head":"bc9bc9bb68eee5be1b183a4af83f22854e9bffc4","before":"25ef68fa27e0b6600694d308019147011e155315","commits":[{"sha":"66ecc7b28b7a46741bfce309fc44c458da3ad8b6","author":{"name":"Keshav Kini","email":"cb7179ceebe6878e08f7b19f595a1a5115facc9e@gmail.com"},"message":"Remove duplicate function in set-theory.lisp","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/66ecc7b28b7a46741bfce309fc44c458da3ad8b6"},{"sha":"28a515a19cdd945d09c40542527d91ea75ea6327","author":{"name":"Keshav Kini","email":"cb7179ceebe6878e08f7b19f595a1a5115facc9e@gmail.com"},"message":"Document system utilities PACKN and PACKN-POS","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/28a515a19cdd945d09c40542527d91ea75ea6327"},{"sha":"0cc0082622d23e8e57f3d27c600ad72eb2a3e8b5","author":{"name":"MattKaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.utexas.edu"},"message":"Merge pull request #830 from kini/set-theory\n\nRemove duplicate function in set-theory.lisp","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/0cc0082622d23e8e57f3d27c600ad72eb2a3e8b5"},{"sha":"bc9bc9bb68eee5be1b183a4af83f22854e9bffc4","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Fix 32-bit return address reading.\n\nThis has to be read as an unsigned integer in 32-bit mode, unlike 64-bit mode.","distinct":false,"url":"https://api.github.com/repos/acoglio/acl2/commits/bc9bc9bb68eee5be1b183a4af83f22854e9bffc4"}]}
{"actor":{"display_login":"acoglio"}}