{"push_id":2859078174,"size":1,"distinct_size":1,"ref":"refs/heads/decManager","head":"e290f134a876ff2d701e08c53e83f3a62df9052e","before":"f3e113fc69993527569be040ee273eb18073f3aa","commits":[{"sha":"e290f134a876ff2d701e08c53e83f3a62df9052e","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Cleanup","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/e290f134a876ff2d701e08c53e83f3a62df9052e"}]}
{"actor":{"display_login":"ajreynol"}}