{"push_id":2780044230,"size":1,"distinct_size":1,"ref":"refs/heads/sygusQueryGen","head":"072e4f4996c34c2d896ae802f7cce34917a67634","before":"790ec124a169042414915a6feab386ffebe33c82","commits":[{"sha":"072e4f4996c34c2d896ae802f7cce34917a67634","author":{"name":"ajreynol","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Copy","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/072e4f4996c34c2d896ae802f7cce34917a67634"}]}
{"actor":{"display_login":"ajreynol"}}