{"push_id":940661228,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5214108f2bce227e35e01e68bf65eecb935d8b9f","before":"925b26c24b9491ec351032a3eec61d2c2c6f52c1","commits":[{"sha":"5214108f2bce227e35e01e68bf65eecb935d8b9f","author":{"email":"74e98f81557b325de2baa4a35c55b491980beef8@inria.fr","name":"nicolas.tabareau"},"message":"correction of the translation","distinct":true,"url":"https://api.github.com/repos/KevinQuirin/sheafification/commits/5214108f2bce227e35e01e68bf65eecb935d8b9f"}]}