{"push_id":2332323550,"size":2,"distinct_size":2,"ref":"refs/heads/refactorRegress","head":"15e8f49eb1a4cc4abe8f11bf28e2b88852fc59b3","before":"7e9345dfc27f23ca48537053800e20302ab531ca","commits":[{"sha":"bf385ca69a958e0939524d8fbcf988c1fb45d131","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Quantifiers subdirectories (#1608)","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/bf385ca69a958e0939524d8fbcf988c1fb45d131"},{"sha":"15e8f49eb1a4cc4abe8f11bf28e2b88852fc59b3","author":{"name":"Andrew Reynolds","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Merge branch 'master' into refactorRegress","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/15e8f49eb1a4cc4abe8f11bf28e2b88852fc59b3"}]}
{"actor":{"display_login":"ajreynol"}}