{"push_id":3145460603,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"afb21ffb9d62d232aec5db2be28514a18a64b748","before":"0bd5a2a5a9242a7449b1b7b5e1b6177095efe739","commits":[{"sha":"1267ea272313509ab13655857abc9d2f484b3d41","author":{"name":"David Greve","email":"f9ac09f0f106cbcc951eca9f29c0e8738dc6d2cb@rockwellcollins.com"},"message":"added eliminate-complex-polys","distinct":true,"url":"https://api.github.com/repos/TheBeaNerd/acl2/commits/1267ea272313509ab13655857abc9d2f484b3d41"},{"sha":"afb21ffb9d62d232aec5db2be28514a18a64b748","author":{"name":"David Greve","email":"f9ac09f0f106cbcc951eca9f29c0e8738dc6d2cb@rockwellcollins.com"},"message":"wordsmithing","distinct":true,"url":"https://api.github.com/repos/TheBeaNerd/acl2/commits/afb21ffb9d62d232aec5db2be28514a18a64b748"}]}
{"actor":{"display_login":"TheBeaNerd"}}