{"push_id":839489967,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"e6c6d7b1a12e485150c7a1d909d68d85be10f4f4","before":"6c9b6ba249d50397d02f44180635593b7a72da15","commits":[{"sha":"223078f8a27d9d232018183ddf497fc45d8bb275","author":{"email":"277dd11764eefa70b7b50fc0ba1192db0473cb2b@gmail.com","name":"Dave"},"message":"added type rules to nary-mod (good? or bad?)","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/223078f8a27d9d232018183ddf497fc45d8bb275"},{"sha":"e6c6d7b1a12e485150c7a1d909d68d85be10f4f4","author":{"email":"48c9d777490d75eff3299fbd20c03e45a7856f15@gmail.com","name":"David L. Rager"},"message":"Merge pull request #534 from TheBeaNerd/master\n\nadded type rules to nary-mod (good? or bad?)","distinct":false,"url":"https://api.github.com/repos/acl2/acl2/commits/e6c6d7b1a12e485150c7a1d909d68d85be10f4f4"}]}