{"push_id":2126756317,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"eddabf66104dcc061943655e530d8d8b8d8a7041","before":"35b57e733af6e1588cd3b8625db932fb1d66a9a2","commits":[{"sha":"eddabf66104dcc061943655e530d8d8b8d8a7041","author":{"name":"Tim King","email":"6d42afa01bfdc4760de647746c33f49c3f23e5e4@cs.nyu.edu"},"message":"Removes an unused variable from Theory. (#1375)","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/eddabf66104dcc061943655e530d8d8b8d8a7041"}]}
{"actor":{"display_login":"ajreynol"}}