{"push_id":2548859916,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"08ddea9c91fc5c481642c4911d4af562ac2a88e1","before":"cfaa03f3db71dc2805b695f98b073431d0430e43","commits":[{"sha":"08ddea9c91fc5c481642c4911d4af562ac2a88e1","author":{"name":"Mathias Preiner","email":"fbbda48ecc68d81ba9fb848d00d3643c1a0baad3@gmail.com"},"message":"Refactor bv-abstraction preprocessing pass. (#1860)","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/08ddea9c91fc5c481642c4911d4af562ac2a88e1"}]}
{"actor":{"display_login":"mpreiner"}}