{"push_id":2428078526,"size":1,"distinct_size":1,"ref":"refs/heads/sygusInfer","head":"9f6709a1bd4f6a1938980cf4220787fe1663a0ef","before":"1c24e6d906ca46f4551fe6505fa7196092e77d4f","commits":[{"sha":"9f6709a1bd4f6a1938980cf4220787fe1663a0ef","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Logic","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/9f6709a1bd4f6a1938980cf4220787fe1663a0ef"}]}
{"actor":{"display_login":"ajreynol"}}