{"push_id":1171823608,"size":2,"distinct_size":2,"ref":"refs/heads/testing","head":"456c2c1d7a45f6deb97abac64b2d76ecf0b237d4","before":"429ab3de3de13256e614af15fb6a5cd5725c014c","commits":[{"sha":"4dc866ecbc134853e84a6335f889638e83cbc5ee","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"A few utilities about event and command landmarks.\n\nThese are based on PSEUDO-EVENT-LANDMARKP and PSEUDO-COMMAND-LANDMARKP from\n[books]/system/pseudo-good-worldp.lisp.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/4dc866ecbc134853e84a6335f889638e83cbc5ee"},{"sha":"456c2c1d7a45f6deb97abac64b2d76ecf0b237d4","author":{"name":"Alessandro Coglio","email":"6efbc11abd5ee929447ee9726c63eb7f81789787@kestrel.edu"},"message":"Merge branch 'master'.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/456c2c1d7a45f6deb97abac64b2d76ecf0b237d4"}]}
{"actor":{"display_login":"acoglio"}}