{"push_id":1416353163,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"dee7c29b19ade620d66cb8f49f3ccb8b688530ea","before":"03f8b871a1adb8b5469b39fd2301c85f22b412f7","commits":[{"sha":"dee7c29b19ade620d66cb8f49f3ccb8b688530ea","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Added optional synchronization for multi-thread API logs. Relates to #798.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/dee7c29b19ade620d66cb8f49f3ccb8b688530ea"}]}
{"actor":{"display_login":"wintersteiger"}}