{"push_id":2681306032,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e799ab0164722e8a4f192ee13223d0eeec6ec004","before":"d83f8bebccffdb677652706f4eb3a2fff056587c","commits":[{"sha":"e799ab0164722e8a4f192ee13223d0eeec6ec004","author":{"name":"Andrew Reynolds","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Do not rename uninterpreted constants (#2098)","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/e799ab0164722e8a4f192ee13223d0eeec6ec004"}]}
{"actor":{"display_login":"ajreynol"}}