{"push_id":821902157,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1cfca15605e36568eb6bfa8d1de1c942fbbd6ea4","before":"31679054b980f6331be5ddb30139f70a353abfb7","commits":[{"sha":"1cfca15605e36568eb6bfa8d1de1c942fbbd6ea4","author":{"email":"3277852d1c53cb6cfcd26f194f18b7a9e58c6914@pps.univ-paris-diderot.fr","name":"Étienne Miquey"},"message":"subst ok; elim not","distinct":true,"url":"https://api.github.com/repos/emiquey/dPLAw/commits/1cfca15605e36568eb6bfa8d1de1c942fbbd6ea4"}]}