{"push_id":721613349,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"33a71c2fe937ffa6f033f8c91607131b2ec4f8b9","before":"22118a756678ef9a53d47459608e13744218044c","commits":[{"sha":"33a71c2fe937ffa6f033f8c91607131b2ec4f8b9","author":{"email":"75d0b641c3310f68e8f577e2db5080fd511644e9@gmail.com","name":"Dejan Jovanović"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/SRI-CSL/libpoly/commits/33a71c2fe937ffa6f033f8c91607131b2ec4f8b9"}]}