{"push_id":1115746922,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c10373cedaec60bba8d43f29be71bd6fff1e4d40","before":"ec74b8c7b234a86d4913328288ded8450acea55d","commits":[{"sha":"c10373cedaec60bba8d43f29be71bd6fff1e4d40","author":{"email":"45ef5e4d523c2248dec332d57c40e42b7517d0a0@gmail.com","name":"Nicolas Derumigny"},"message":"Adding maps and primary debug","distinct":true,"url":"https://api.github.com/repos/NicolasDerumigny/Project2-SAT-Solver/commits/c10373cedaec60bba8d43f29be71bd6fff1e4d40"}]}