{"push_id":1116056463,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2322f89ce40110082a972dcc515d60b705347424","before":"816b8bf766d6dac9051d1168b34d128655e0d721","commits":[{"sha":"2322f89ce40110082a972dcc515d60b705347424","author":{"email":"7900a421c8617a39017ab8188da7c0ccbbcf29a2@cosmoDI.org","name":"cosmo"},"message":"ok","distinct":true,"url":"https://api.github.com/repos/Oxmose/SATSolver/commits/2322f89ce40110082a972dcc515d60b705347424"}]}