{"push_id":698057420,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b3207e91975852fe360743d47976623fa548d0e0","before":"524021a2a24fdf089f16e1442a11879f39474193","commits":[{"sha":"b3207e91975852fe360743d47976623fa548d0e0","author":{"email":"6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","name":"Jared C. Davis"},"message":"Fix missing xdoc \"signatures\" for defines (fixes #161)","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/b3207e91975852fe360743d47976623fa548d0e0"}]}