{"push_id":2302540071,"size":2,"distinct_size":2,"ref":"refs/heads/fixGetSynthSol","head":"9c023d679e8472f5b7046da65296138d961c4494","before":"c561a5f6adf42c6e1087310320e980dfed0de11d","commits":[{"sha":"be7ad3019e84565c814473750ae44484526f9bf6","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Minor","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/be7ad3019e84565c814473750ae44484526f9bf6"},{"sha":"9c023d679e8472f5b7046da65296138d961c4494","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Format","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/9c023d679e8472f5b7046da65296138d961c4494"}]}
{"actor":{"display_login":"ajreynol"}}