{"push_id":707696634,"size":1,"distinct_size":1,"ref":"refs/heads/1.0","head":"c2bf74bc958d353e0ccf1e6f2e2826b6d4eb9900","before":"843965eb440a0f25840e2f2de099270cd7696263","commits":[{"sha":"c2bf74bc958d353e0ccf1e6f2e2826b6d4eb9900","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"Fix bug related to generation of fresh local hypotheses names.","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/c2bf74bc958d353e0ccf1e6f2e2826b6d4eb9900"}]}