{"push_id":2537102025,"size":1,"distinct_size":1,"ref":"refs/heads/checkModelVts","head":"5c3042b98f758ce31b8fdf4ea0cd3868d7181243","before":"24f0d53cdd6082d6606c8ab7f0723794fcb8c20e","commits":[{"sha":"5c3042b98f758ce31b8fdf4ea0cd3868d7181243","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Fixes, change option.","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/5c3042b98f758ce31b8fdf4ea0cd3868d7181243"}]}
{"actor":{"display_login":"ajreynol"}}