{"push_id":1390008009,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"5e760c0e032ed8fd9425bf221da16cedb7f92a46","before":"f3dac7cd14ee1d15138a236eb63d204fac8b74cf","commits":[{"sha":"4c8041831ee08b264bae87e4f2fae4d92ce7d6c5","author":{"name":"Tomasz Wegrzanowski","email":"0a17123913ef54ae05eb4e362b35264d1a44f19d@gmail.com"},"message":"Crossflip solver","distinct":true,"url":"https://api.github.com/repos/taw/z3/commits/4c8041831ee08b264bae87e4f2fae4d92ce7d6c5"},{"sha":"992c858f0cbfa67982627865cb11782d152c94fb","author":{"name":"Tomasz Wegrzanowski","email":"0a17123913ef54ae05eb4e362b35264d1a44f19d@gmail.com"},"message":"! as alias for ~","distinct":true,"url":"https://api.github.com/repos/taw/z3/commits/992c858f0cbfa67982627865cb11782d152c94fb"},{"sha":"5e760c0e032ed8fd9425bf221da16cedb7f92a46","author":{"name":"Tomasz Wegrzanowski","email":"0a17123913ef54ae05eb4e362b35264d1a44f19d@gmail.com"},"message":"README update","distinct":true,"url":"https://api.github.com/repos/taw/z3/commits/5e760c0e032ed8fd9425bf221da16cedb7f92a46"}]}
{"actor":{"display_login":"taw"}}