{"push_id":2096827602,"size":1,"distinct_size":1,"ref":"refs/heads/sygusConjectureSymBreak","head":"0073e3d42e32cde0f94bfbba5c5684e83a46d9b4","before":"704c3bfa1d775794859d67b339b3e6ba4ce743c1","commits":[{"sha":"0073e3d42e32cde0f94bfbba5c5684e83a46d9b4","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Two passes.","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/0073e3d42e32cde0f94bfbba5c5684e83a46d9b4"}]}
{"actor":{"display_login":"ajreynol"}}