{"push_id":982968430,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"a1ba9d0c870f5ec330eb938099a16b23ca885c15","before":"68eb4abf3fdc79c6085a47f2ad94e8e114ebf3f0","commits":[{"sha":"3c1d1a1c984ec06eb19852f1d08cafbb03aed241","author":{"email":"c6065c45f51b07e6eca747e1e72d822e43c8d944@ens-lyon.fr","name":"MonegoEtmoi"},"message":"début updateClause","distinct":true,"url":"https://api.github.com/repos/NicolasDerumigny/Project2-SAT-Solver/commits/3c1d1a1c984ec06eb19852f1d08cafbb03aed241"},{"sha":"a1ba9d0c870f5ec330eb938099a16b23ca885c15","author":{"email":"c6065c45f51b07e6eca747e1e72d822e43c8d944@ens-lyon.fr","name":"MonegoEtmoi"},"message":"début updateClause + merge","distinct":true,"url":"https://api.github.com/repos/NicolasDerumigny/Project2-SAT-Solver/commits/a1ba9d0c870f5ec330eb938099a16b23ca885c15"}]}