{"push_id":874256493,"size":1,"distinct_size":1,"ref":"refs/heads/corestuff","head":"d497940db6e917bbc2bbd62f34fe2ef1ed9473d3","before":"d48143b1832d56238930a37e61a3c3b0d2e4e8f0","commits":[{"sha":"d497940db6e917bbc2bbd62f34fe2ef1ed9473d3","author":{"email":"a2598252fac4b5cf4f54cebd0fb6e4e164ce0c30@gmail.com","name":"Andrew Hendrix"},"message":"Added pure clause removal.","distinct":true,"url":"https://api.github.com/repos/Team7dot3/sat/commits/d497940db6e917bbc2bbd62f34fe2ef1ed9473d3"}]}