{"push_id":2338117759,"size":1,"distinct_size":1,"ref":"refs/heads/changeUseSmtCore","head":"63c4ccf0676a27519b87f79967864fd0e29fd93a","before":"bf2dca64737566162f4365d38921ebce1a6ca54e","commits":[{"sha":"63c4ccf0676a27519b87f79967864fd0e29fd93a","author":{"name":"lzs","email":"f75a76f6ad0841889203754b57433daca146196c@qq.com"},"message":"add some comment on smtcore2","distinct":true,"url":"https://api.github.com/repos/Lzsxx/ReluplexCav2017/commits/63c4ccf0676a27519b87f79967864fd0e29fd93a"}]}
{"actor":{"display_login":"Lzsxx"}}