{"push_id":3026123816,"size":1,"distinct_size":1,"ref":"refs/heads/pldi2019-smallStrSolve","head":"8b0a58dda44f489d92ac75235bbda086ffe38815","before":"a15bb2eda8e592c9a4d2863ed0de92946243afb1","commits":[{"sha":"8b0a58dda44f489d92ac75235bbda086ffe38815","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"For opt enum","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/8b0a58dda44f489d92ac75235bbda086ffe38815"}]}
{"actor":{"display_login":"ajreynol"}}