{"push_id":690157948,"size":2,"distinct_size":2,"ref":"refs/heads/modular-implicits-ber","head":"3d78539a25a7d713f927f8d0de30a78cd52d74d2","before":"169f0dbbf28217e4ced115d637ac20a55c505a2b","commits":[{"sha":"3ea6bbde63782c3cc471bdc1402dd624c0693659","author":{"email":"56f0f1a1a8126f2109751ad3be9d68dd51f55f2b@lakaban.net","name":"Frédéric Bour"},"message":"Implicitsearch: fix translation of implicit path to implicit instances","distinct":true,"url":"https://api.github.com/repos/yallop/ocaml/commits/3ea6bbde63782c3cc471bdc1402dd624c0693659"},{"sha":"3d78539a25a7d713f927f8d0de30a78cd52d74d2","author":{"email":"56f0f1a1a8126f2109751ad3be9d68dd51f55f2b@lakaban.net","name":"Frédéric Bour"},"message":"Ctype: handle Tarr_implicit in generalize","distinct":true,"url":"https://api.github.com/repos/yallop/ocaml/commits/3d78539a25a7d713f927f8d0de30a78cd52d74d2"}]}