{"push_id":2316325523,"size":1,"distinct_size":1,"ref":"refs/heads/sygusSampleImp","head":"fac25dabb07bbb7e5890a5273ab5b419e25e75a6","before":"5de536dbd494fa85a35e80a074b7fc4b8866e60c","commits":[{"sha":"fac25dabb07bbb7e5890a5273ab5b419e25e75a6","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Improve debug information.","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/fac25dabb07bbb7e5890a5273ab5b419e25e75a6"}]}
{"actor":{"display_login":"ajreynol"}}