{"push_id":2316910514,"size":1,"distinct_size":1,"ref":"refs/heads/refactorRegress","head":"d544e828887ac449f7320fdd3c4dbe2d159169da","before":"aeb4f7e3138e1a00c89216a1bbb6949146980c47","commits":[{"sha":"d544e828887ac449f7320fdd3c4dbe2d159169da","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Move regressions, fix.","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/d544e828887ac449f7320fdd3c4dbe2d159169da"}]}
{"actor":{"display_login":"ajreynol"}}