{"push_id":590967064,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"15075d209ca064a5de7b3e095d775077ebe5ae8f","before":"a4c7934ae1fe9cda5caa9ce273c09823082c494a","commits":[{"sha":"15075d209ca064a5de7b3e095d775077ebe5ae8f","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@cs.utexas.edu","name":"Matt Kaufmann"},"message":"Made minor :doc improvements.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/15075d209ca064a5de7b3e095d775077ebe5ae8f"}]}