{"push_id":1237033459,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"f299cf489672ce17add61f4fc838ba531f6581e0","before":"5d49ff66fc0e7994e792f6e672b59f722040aff9","commits":[{"sha":"62ecc7de6607c202eb9ae6421119b6b6a2014264","author":{"name":"Gereon Kremer","email":"392e0d22f610a34a8994aaa562856c318f57c83f@cs.rwth-aachen.de"},"message":"Workin on nlsat stuff.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/62ecc7de6607c202eb9ae6421119b6b6a2014264"},{"sha":"a1eb79c92614ae5d2cb471c5e68586af76c9a940","author":{"name":"Gereon Kremer","email":"392e0d22f610a34a8994aaa562856c318f57c83f@cs.rwth-aachen.de"},"message":"Added test case for nlsat.","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/a1eb79c92614ae5d2cb471c5e68586af76c9a940"},{"sha":"f299cf489672ce17add61f4fc838ba531f6581e0","author":{"name":"Gereon Kremer","email":"392e0d22f610a34a8994aaa562856c318f57c83f@cs.rwth-aachen.de"},"message":"Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/smtrat","distinct":true,"url":"https://api.github.com/repos/smtrat/smtrat/commits/f299cf489672ce17add61f4fc838ba531f6581e0"}]}
{"actor":{"display_login":"smtrat"}}