{"push_id":776132671,"size":1,"distinct_size":1,"ref":"refs/heads/Why3","head":"0ff4bdda53d4f634a3e4477c711cfb29de150a30","before":"9dee6dd3d405afa76ea320809623a3da86292be0","commits":[{"sha":"0ff4bdda53d4f634a3e4477c711cfb29de150a30","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Added frontend to Why3 LRrule","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/0ff4bdda53d4f634a3e4477c711cfb29de150a30"}]}