{"push_id":2971370230,"size":1,"distinct_size":1,"ref":"refs/heads/modelCoreV2","head":"35fc7f07edec3b824795ee26f70dc3305d1fb8b3","before":"ed8173b1dc528f3ae9d79cf43811cd6d6db67be0","commits":[{"sha":"35fc7f07edec3b824795ee26f70dc3305d1fb8b3","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Improve","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/35fc7f07edec3b824795ee26f70dc3305d1fb8b3"}]}
{"actor":{"display_login":"ajreynol"}}