{"push_id":2818116557,"size":1,"distinct_size":1,"ref":"refs/heads/rmDead-082218","head":"66c9e0b7ee62a8d19a14289e17a772d48596d6e6","before":"12f3134fe61abeadeb0214cda593a17e8742eda5","commits":[{"sha":"66c9e0b7ee62a8d19a14289e17a772d48596d6e6","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"More","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/66c9e0b7ee62a8d19a14289e17a772d48596d6e6"}]}
{"actor":{"display_login":"ajreynol"}}