{"push_id":564051996,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"a39efb6036a7f658a4a5ecb474adc66923e34749","before":"d660041192eb82df8c6b706db4b89650ab2a9de6","commits":[{"sha":"658ee514c793f75785aa581ea12c22a2940bcf52","author":{"email":"3ee325e177fb5ae98077d3f31fd799f1017738b8@binamuse.com","name":"feliam"},"message":"Cleaner helper solver process handling","distinct":true,"url":"https://api.github.com/repos/cnheitman/pysmtlib/commits/658ee514c793f75785aa581ea12c22a2940bcf52"},{"sha":"a39efb6036a7f658a4a5ecb474adc66923e34749","author":{"email":"13ca300f582b5e6461deb9b65ff528ce6ffc0628@fundacionsadosky.org.ar","name":"Christian Heitman"},"message":"Merge remote-tracking branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/cnheitman/pysmtlib/commits/a39efb6036a7f658a4a5ecb474adc66923e34749"}]}