{"push_id":2039063747,"size":1,"distinct_size":1,"ref":"refs/heads/bvscnourem","head":"da08cf71a4c9faa53331fc0d3cecb80cdf8fdd83","before":"330c5509061f77b3d4c5a9dc0cba7b234e3ef7dd","commits":[{"sha":"da08cf71a4c9faa53331fc0d3cecb80cdf8fdd83","author":{"name":"Aina Niemetz","email":"a3711de3a7e2da2a338d14325002d3cecca59ef7@gmail.com"},"message":"Added default concat handling.","distinct":true,"url":"https://api.github.com/repos/aniemetz/CVC4/commits/da08cf71a4c9faa53331fc0d3cecb80cdf8fdd83"}]}
{"actor":{"display_login":"aniemetz"}}