{"push_id":864595326,"size":1,"distinct_size":1,"ref":"refs/heads/1.0","head":"bc892e98592ad30391b39007c93abc7a190cda47","before":"06360aee769cf2137522d2df89c29688401e70dc","commits":[{"sha":"bc892e98592ad30391b39007c93abc7a190cda47","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"Nits on `b2r`","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/bc892e98592ad30391b39007c93abc7a190cda47"}]}