{"push_id":1100543182,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"ec1c3425a307b2c2b1d62dfeb9400ce4bcf55aa9","before":"89c5b16d04feb858d086ba18cdea24c4e411a08b","commits":[{"sha":"5d4d1fc4e654600d1abf6cf09d9c034fce9cb464","author":{"email":"90b0fb3fba8acf45dd99821b9312e4b7da9b3a28@gmail.com","name":"Junaid Haroon Siddiqui"},"message":"added more inputs","distinct":true,"url":"https://api.github.com/repos/huppy309/SAT-Solver/commits/5d4d1fc4e654600d1abf6cf09d9c034fce9cb464"},{"sha":"ec1c3425a307b2c2b1d62dfeb9400ce4bcf55aa9","author":{"email":"90b0fb3fba8acf45dd99821b9312e4b7da9b3a28@gmail.com","name":"Junaid Haroon Siddiqui"},"message":"conflict detection needed","distinct":true,"url":"https://api.github.com/repos/huppy309/SAT-Solver/commits/ec1c3425a307b2c2b1d62dfeb9400ce4bcf55aa9"}]}