{"push_id":600818773,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"7622355ff917344fb25f289758b7827cb8345fb0","before":"9cd10596e5c6932ec47f23b7cea03649a0b2d7fa","commits":[{"sha":"ca53567cfc9a001f6987bcaaa6569cd6f6d96d65","author":{"email":"0adff03a7de64dfd55e0868214d82b741b8f8bba@gmail.com","name":"Stefan Heule"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/Samsung/model-synthesis/commits/ca53567cfc9a001f6987bcaaa6569cd6f6d96d65"},{"sha":"0014cdcffed7f4805a75fc2591e8aa3db5f123a1","author":{"email":"0adff03a7de64dfd55e0868214d82b741b8f8bba@gmail.com","name":"Stefan Heule"},"message":"better processing output","distinct":true,"url":"https://api.github.com/repos/Samsung/model-synthesis/commits/0014cdcffed7f4805a75fc2591e8aa3db5f123a1"},{"sha":"7622355ff917344fb25f289758b7827cb8345fb0","author":{"email":"0adff03a7de64dfd55e0868214d82b741b8f8bba@gmail.com","name":"Stefan Heule"},"message":"add loop to data output","distinct":true,"url":"https://api.github.com/repos/Samsung/model-synthesis/commits/7622355ff917344fb25f289758b7827cb8345fb0"}]}