{"push_id":1288429549,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9488f476f908652cfe110ba447adffc17f94343a","before":"aafe3c0e1d1c16fe0484398a31a77d804f1dc56b","commits":[{"sha":"9488f476f908652cfe110ba447adffc17f94343a","author":{"name":"Simon Cruanes","email":"8e2c23bda4ff0518f8fdd6e7a868479660219833@m4x.org"},"message":"call simplify before solving","distinct":true,"url":"https://api.github.com/repos/c-cube/ocaml-minisat/commits/9488f476f908652cfe110ba447adffc17f94343a"}]}
{"actor":{"display_login":"c-cube"}}