{"push_id":1024434529,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"728a9bf174ff64a535d669076530f11345ab28a3","before":"06334990c2dbf1a6ca994d93e84f1d753c849e6b","commits":[{"sha":"728a9bf174ff64a535d669076530f11345ab28a3","author":{"email":"7c7bfe05f5e65a43395ed195d65eabcc9ae35ad3@gmail.com","name":"alecrajeev"},"message":"Fixed modus ponens","distinct":true,"url":"https://api.github.com/repos/alecrajeev/Automated-Reasoning/commits/728a9bf174ff64a535d669076530f11345ab28a3"}]}