{"push_id":779070109,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"718df9ac3d65de11c426648a880effc52d0c4472","before":"266ae0c61be71485e2215a912853faa2d5a2182c","commits":[{"sha":"718df9ac3d65de11c426648a880effc52d0c4472","author":{"email":"588418e2c8b0741b3605777cbfd5b047e664b0e7@github.com","name":"Shane Pearman"},"message":"modular arith","distinct":true,"url":"https://api.github.com/repos/spearman/formal-logic/commits/718df9ac3d65de11c426648a880effc52d0c4472"}]}