{"push_id":2762108244,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"92859999d35b04dd284f79c3d138179e2e2f4b93","before":"cbb655e19238d03d11aa520951c3641076321f58","commits":[{"sha":"8e7d9b9b906ea0068913fa0037a473c84fb8a1cf","author":{"name":"Hanqi Guo","email":"5dfd852c0b422a124129c0400f6cc53d246ef1f2@anl.gov"},"message":"fixed a deadlock in zserver","distinct":true,"url":"https://api.github.com/repos/CODARcode/Z-checker/commits/8e7d9b9b906ea0068913fa0037a473c84fb8a1cf"},{"sha":"92859999d35b04dd284f79c3d138179e2e2f4b93","author":{"name":"Hanqi Guo","email":"5dfd852c0b422a124129c0400f6cc53d246ef1f2@anl.gov"},"message":"Merge branch 'master' of github.com:CODARcode/Z-checker","distinct":true,"url":"https://api.github.com/repos/CODARcode/Z-checker/commits/92859999d35b04dd284f79c3d138179e2e2f4b93"}]}
{"actor":{"display_login":"hguo"}}