{"push_id":1068478237,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"3b3d98acd58e91c960a2e11cd47ac19b2b34f86b","before":"a88f5f162272ced5fb2b8ea555756b8fc51b939a","commits":[{"sha":"3b3d98acd58e91c960a2e11cd47ac19b2b34f86b","author":{"email":"6c2d20c0261809f41f8166782e00714227562ada@inria.fr","name":"Hugo Herbelin"},"message":"Cleaning unpolished commit 0dfd0fb7d7 on basic functions about union type.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/3b3d98acd58e91c960a2e11cd47ac19b2b34f86b"}]}