{"push_id":2921681552,"size":1,"distinct_size":1,"ref":"refs/heads/activeEnum","head":"ec82ba85856861dc10f34ead35561421ef043ab8","before":"86985132aaf490db87b89cc8192d881c8e9d9648","commits":[{"sha":"ec82ba85856861dc10f34ead35561421ef043ab8","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"More doc","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/ec82ba85856861dc10f34ead35561421ef043ab8"}]}
{"actor":{"display_login":"ajreynol"}}