{"push_id":1140960908,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"9a2b00fbf9db1bea43dc5456cac20565f5a38c53","before":"71b64cc5ec5ab0d70d437ec4542c5903f43063cb","commits":[{"sha":"9a2b00fbf9db1bea43dc5456cac20565f5a38c53","author":{"name":"Pierre Letouzey","email":"7f57ef47d7df4bda39ff7662fedf6b8fbea1832c@inria.fr"},"message":"Please never mention .mli-only file in *.mllib (or future *.mlpack)\n\n This breaks compilation via ocamlbuild, and also leads to awkward\n commands via make","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/9a2b00fbf9db1bea43dc5456cac20565f5a38c53"}]}
{"actor":{"display_login":"letouzey"}}