{"push_id":2555011264,"size":1,"distinct_size":1,"ref":"refs/heads/ssymBreakCondStrat","head":"df379cf274f654f86efef79daecd5cbe4b99d211","before":"4986f92bd57e5ac27add779d311a75479a5dd760","commits":[{"sha":"df379cf274f654f86efef79daecd5cbe4b99d211","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"More","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/df379cf274f654f86efef79daecd5cbe4b99d211"}]}
{"actor":{"display_login":"ajreynol"}}