{"push_id":1309387283,"size":2,"distinct_size":2,"ref":"refs/heads/development","head":"0babf0c51b5ce30fe87f909fc3f644e77594cf0b","before":"9963d9c6e056416777829551b8686e46e2c8df52","commits":[{"sha":"a40788fa9935de538083bfe74f02271f225a6157","author":{"name":"Armin Biere","email":"4bc4096de80271f94bdaee09fa51864da1688d22@jku.at"},"message":"formatting","distinct":true,"url":"https://api.github.com/repos/arminbiere/cadical/commits/a40788fa9935de538083bfe74f02271f225a6157"},{"sha":"0babf0c51b5ce30fe87f909fc3f644e77594cf0b","author":{"name":"Armin Biere","email":"4bc4096de80271f94bdaee09fa51864da1688d22@jku.at"},"message":"Merge branch 'development' of github.com:arminbiere/cadical into development","distinct":true,"url":"https://api.github.com/repos/arminbiere/cadical/commits/0babf0c51b5ce30fe87f909fc3f644e77594cf0b"}]}
{"actor":{"display_login":"arminbiere"}}