{"push_id":3025668179,"size":1,"distinct_size":1,"ref":"refs/heads/sygusEnumSymBreak","head":"3dfeb0eaf28084f673527a800cf7cf818b80cb87","before":"a8c37c3a12c00ac3140cfda8bf62f7b7e2fa7e79","commits":[{"sha":"3dfeb0eaf28084f673527a800cf7cf818b80cb87","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Minor","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/3dfeb0eaf28084f673527a800cf7cf818b80cb87"}]}
{"actor":{"display_login":"ajreynol"}}