{"push_id":935784690,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"3a12499cd1fbd713aef525b2da12ec391032ce98","before":"f71714e45a4b0845747cc619e2053f65300de3ba","commits":[{"sha":"94a91ecf1ccc66f2d270a76322dde4b6bedd6ca0","author":{"email":"3ef1553fb321adf43d8879f2c3beeee94950e343@lsv.fr","name":"Maximilien Colange"},"message":"Merge branch 'master' into priced_zones","distinct":true,"url":"https://api.github.com/repos/osankur/udbml/commits/94a91ecf1ccc66f2d270a76322dde4b6bedd6ca0"},{"sha":"583ead640aa1d9469b51ea36d7dbcb07fbae47d0","author":{"email":"3ef1553fb321adf43d8879f2c3beeee94950e343@lsv.fr","name":"Maximilien Colange"},"message":"Proper square inclusion test (after lots of wrong proofs...)","distinct":true,"url":"https://api.github.com/repos/osankur/udbml/commits/583ead640aa1d9469b51ea36d7dbcb07fbae47d0"},{"sha":"0a7350df5c5d605d767f2edda1a32d27cec8ec7a","author":{"email":"3ef1553fb321adf43d8879f2c3beeee94950e343@lsv.fr","name":"Maximilien Colange"},"message":"No longer use slist.\nClean the configure scripts.","distinct":true,"url":"https://api.github.com/repos/osankur/udbml/commits/0a7350df5c5d605d767f2edda1a32d27cec8ec7a"},{"sha":"8bfc7391a606ccd42fd8522f50997f4f963682f5","author":{"email":"3ef1553fb321adf43d8879f2c3beeee94950e343@lsv.fr","name":"Maximilien Colange"},"message":"Merge branch 'master' into priced_zones","distinct":true,"url":"https://api.github.com/repos/osankur/udbml/commits/8bfc7391a606ccd42fd8522f50997f4f963682f5"},{"sha":"3a12499cd1fbd713aef525b2da12ec391032ce98","author":{"email":"3ef1553fb321adf43d8879f2c3beeee94950e343@lsv.fr","name":"Maximilien Colange"},"message":"Merge branch 'priced_zones'","distinct":true,"url":"https://api.github.com/repos/osankur/udbml/commits/3a12499cd1fbd713aef525b2da12ec391032ce98"}]}