{"push_id":1945020332,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"b8a81bcb09e59890ac8ebc2a9f253cc610c97129","before":"36dd2b653035532a253fbb85d507fac52418af3a","commits":[{"sha":"3e0926fb822195f33e9b585b0aac93094b9a58b5","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Whitespace","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/3e0926fb822195f33e9b585b0aac93094b9a58b5"},{"sha":"31496b662548844350d1468d5a7e51502131589b","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Whitespace","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/31496b662548844350d1468d5a7e51502131589b"},{"sha":"b8a81bcb09e59890ac8ebc2a9f253cc610c97129","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Added unsat core support to the macro-finder.","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/b8a81bcb09e59890ac8ebc2a9f253cc610c97129"}]}
{"actor":{"display_login":"wintersteiger"}}