{"push_id":1062919195,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"28ef09a7bd39b28c213f84f723bdf9fdd9e0091a","before":"5e984ec93805b0617c9680d19fc677ce8e632c0a","commits":[{"sha":"27289f6b8da8eaa608995082d872e3dcee934ee4","author":{"email":"0c0915cbef2ef7ddbbaa9feb87687edc77f53b49@gmx.net","name":"Philipp Ruemmer"},"message":"better reuse of relations","distinct":true,"url":"https://api.github.com/repos/uuverifiers/autosat/commits/27289f6b8da8eaa608995082d872e3dcee934ee4"},{"sha":"28ef09a7bd39b28c213f84f723bdf9fdd9e0091a","author":{"email":"0c0915cbef2ef7ddbbaa9feb87687edc77f53b49@gmx.net","name":"Philipp Ruemmer"},"message":"Merge branch 'master' of https://github.com/uuverifiers/autosat","distinct":true,"url":"https://api.github.com/repos/uuverifiers/autosat/commits/28ef09a7bd39b28c213f84f723bdf9fdd9e0091a"}]}