{"push_id":1007720428,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"38fe15629eda542824770872d74d941c7b401149","before":"18f11c0b2ff1b83f00cdad6cab813f91b1f7159e","commits":[{"sha":"38fe15629eda542824770872d74d941c7b401149","author":{"email":"0a8c5167220991f15ec3b425c1b314aa4c1da54d@rpi.edu","name":"kevingoneill"},"message":"Truth-Functional reasoner implemented","distinct":true,"url":"https://api.github.com/repos/kevingoneill/SemanticProver/commits/38fe15629eda542824770872d74d941c7b401149"}]}