{"push_id":1456301912,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"11cdcaf2945b5feefb570b5c3089ab2a5be0ab2c","before":"13a43458f95dea18ba16f3031be4e7f70ec8cc61","commits":[{"sha":"11cdcaf2945b5feefb570b5c3089ab2a5be0ab2c","author":{"name":"Matt Kaufmann","email":"bd583fcbd536fab052adf39b9ec3df6a76db0f1b@gmail.com"},"message":"With help from J: fixed bug in tau-related check in books/system/pseudo-good-worldp.lisp, and fixed related comment for (defrec tau ...) in tau.lisp.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/11cdcaf2945b5feefb570b5c3089ab2a5be0ab2c"}]}
{"actor":{"display_login":"MattKaufmann"}}