{"push_id":2488716951,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5d3229bfb495bf45481e68a2d813b29dba9c42a9","before":"c3340f9a0a7d880b8a50812d3c978a3e6e23b380","commits":[{"sha":"5d3229bfb495bf45481e68a2d813b29dba9c42a9","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Fixed bugs, updated NuGet packages.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/PerformanceTest/commits/5d3229bfb495bf45481e68a2d813b29dba9c42a9"}]}
{"actor":{"display_login":"wintersteiger"}}