{"push_id":1101100233,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2af35007f11938d54168c9d3326586ca342b659f","before":"d25244bb9d0f08642b34b8090ced25a882cf79cf","commits":[{"sha":"2af35007f11938d54168c9d3326586ca342b659f","author":{"email":"7900a421c8617a39017ab8188da7c0ccbbcf29a2@cosmoDI.org","name":"cosmo"},"message":"dlis fixed","distinct":true,"url":"https://api.github.com/repos/Oxmose/SATSolver/commits/2af35007f11938d54168c9d3326586ca342b659f"}]}