{"push_id":983066379,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a8ab17495da2c8f61986bd431fbf726d75dcf0b8","before":"28313b8f3da6f07717b092fc651e2e6b15f1588e","commits":[{"sha":"a8ab17495da2c8f61986bd431fbf726d75dcf0b8","author":{"email":"e4809c3513a7b3b95f6bb67cc4c1a85c82dd3f53@dhcp-182-194.ens-lyon.fr","name":"Plopounet13"},"message":"Ordre Expr","distinct":true,"url":"https://api.github.com/repos/Plopounet13/SAT-Solver/commits/a8ab17495da2c8f61986bd431fbf726d75dcf0b8"}]}