{"push_id":720567195,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"96045f482532423b4dc02e7feecec838dc3c5dcb","before":"61939b4236d9a9c676084db1a8040dbb341c6332","commits":[{"sha":"96045f482532423b4dc02e7feecec838dc3c5dcb","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Notation for infinite traces","distinct":true,"url":"https://api.github.com/repos/coq-io/io/commits/96045f482532423b4dc02e7feecec838dc3c5dcb"}]}