{"push_id":903651910,"size":1,"distinct_size":1,"ref":"refs/heads/1.0","head":"c0c489b3aeef8077c1f7b99660888189b621115a","before":"084bf5593d605bae59f070e6fec6a5da784e46ab","commits":[{"sha":"c0c489b3aeef8077c1f7b99660888189b621115a","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"A bit more on chunking.","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/c0c489b3aeef8077c1f7b99660888189b621115a"}]}