{"push_id":2636675723,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"93e3267916780cba4ecbc4c7a410f888ef3e190c","before":"c88880f8dbdce77bf502c73392a50d61aeeeb8c0","commits":[{"sha":"93e3267916780cba4ecbc4c7a410f888ef3e190c","author":{"name":"David","email":"4f6007d79a745470b62b69151c7386489cad5377@gmail.com"},"message":"Structs and useful functions. Implication elimination functions.","distinct":true,"url":"https://api.github.com/repos/dvdalilue/sat_solver/commits/93e3267916780cba4ecbc4c7a410f888ef3e190c"}]}
{"actor":{"display_login":"dvdalilue"}}