{"push_id":901901440,"size":1,"distinct_size":1,"ref":"refs/heads/1.0","head":"87ea673a509386534dbb967275044ba78419c991","before":"059c81d6ccd56363307c489347d0473e72bb18b2","commits":[{"sha":"87ea673a509386534dbb967275044ba78419c991","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"Lists: subseq + more on sorts.\n\nSome admits in subseq.","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/87ea673a509386534dbb967275044ba78419c991"}]}