{"push_id":1077261672,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"20eed32db0f6ea5c2ac784e09b13b5dc0261b3a3","before":"62364b46b42db5c0eb1361d17aeb164b3d64f6f0","commits":[{"sha":"4a96e870f70fbe605a71e16cb3350c7576199520","author":{"email":"cb1742ea215eabcbe5c4de2e59541a915de41774@gmail.com","name":"Daniel Henry-Mantilla"},"message":"minor","distinct":true,"url":"https://api.github.com/repos/beschmi/lean-ocaml-bindings/commits/4a96e870f70fbe605a71e16cb3350c7576199520"},{"sha":"a1cc732fd0d2f749f26b55e145a041af41a39f33","author":{"email":"cb1742ea215eabcbe5c4de2e59541a915de41774@gmail.com","name":"Daniel Henry-Mantilla"},"message":"Merge branch 'master' of github.com:beschmi/lean-ocaml-bindings","distinct":true,"url":"https://api.github.com/repos/beschmi/lean-ocaml-bindings/commits/a1cc732fd0d2f749f26b55e145a041af41a39f33"},{"sha":"20eed32db0f6ea5c2ac784e09b13b5dc0261b3a3","author":{"email":"cb1742ea215eabcbe5c4de2e59541a915de41774@gmail.com","name":"Daniel Henry-Mantilla"},"message":"Changed opam file","distinct":true,"url":"https://api.github.com/repos/beschmi/lean-ocaml-bindings/commits/20eed32db0f6ea5c2ac784e09b13b5dc0261b3a3"}]}