{"push_id":2632331081,"size":1,"distinct_size":1,"ref":"refs/heads/deep_space","head":"20502f217560c1198ae679b9127963d25ba17c53","before":"7460331d6469faf157dfc44d257920466beac396","commits":[{"sha":"20502f217560c1198ae679b9127963d25ba17c53","author":{"name":"Nikolaj Bjorner","email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com"},"message":"move term graph closer to qe\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/20502f217560c1198ae679b9127963d25ba17c53"}]}
{"actor":{"display_login":"NikolajBjorner"}}