{"push_id":2952839940,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a4b0e462833f89bea6a35e0adcf103201b9ebca1","before":"d926bb3eab29a966ca2e6070271b05fa65f3c1be","commits":[{"sha":"a4b0e462833f89bea6a35e0adcf103201b9ebca1","author":{"name":"Andrew Reynolds","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":" Fix heuristic for string length approximation (#2622)","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/a4b0e462833f89bea6a35e0adcf103201b9ebca1"}]}
{"actor":{"display_login":"4tXJ7f"}}