{"push_id":745293783,"size":1,"distinct_size":0,"ref":"refs/heads/testing","head":"67aa8786cb4fbcfd8c65b6fe6345f1aba05de1a8","before":"da7ddfb45074be75b0c9960f16b60376660da0df","commits":[{"sha":"67aa8786cb4fbcfd8c65b6fe6345f1aba05de1a8","author":{"email":"0e8571cdea8dfcd394fe3e7a6fd70cfe66e52b6d@Matts-MacBook-Pro.local","name":"Matt Kaufmann"},"message":"Improved :doc defattach to mention the use of attachment-pair.","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/67aa8786cb4fbcfd8c65b6fe6345f1aba05de1a8"}]}