{"push_id":2671333518,"size":1,"distinct_size":1,"ref":"refs/heads/fix1367","head":"a714a7aec64c9bb28a1c9c26b32b1292e6566733","before":"2271c613d721c03f84775cf783d3ad948d9e2e24","commits":[{"sha":"a714a7aec64c9bb28a1c9c26b32b1292e6566733","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Documenting arith.","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/a714a7aec64c9bb28a1c9c26b32b1292e6566733"}]}
{"actor":{"display_login":"ajreynol"}}