{"push_id":1256511229,"size":1,"distinct_size":1,"ref":"refs/heads/extTheoryBV","head":"7d5a85cb05291784d91926b784f2db8dcaf49162","before":"fd05ae8855515d9280cfa2f9eeb70cbdfd781797","commits":[{"sha":"7d5a85cb05291784d91926b784f2db8dcaf49162","author":{"name":"ajreynol","email":"1683003588f98781d463ba572209fd0d5da95e1b@gmail.com"},"message":"Fix for last commit","distinct":true,"url":"https://api.github.com/repos/ajreynol/CVC4/commits/7d5a85cb05291784d91926b784f2db8dcaf49162"}]}
{"actor":{"display_login":"ajreynol"}}