{"push_id":2594722711,"size":1,"distinct_size":1,"ref":"refs/heads/deep_space","head":"a7f31797606e25dd68f5dbc9d55625ac643a8b26","before":"5df13e729f437157c3d5f8db23db17b09d015529","commits":[{"sha":"a7f31797606e25dd68f5dbc9d55625ac643a8b26","author":{"name":"Arie Gurfinkel","email":"d73df49a9b759963b598676b526a9d512015529b@uwaterloo.ca"},"message":"Wired qe::mbp into spacer\n\nuse option fixedpoint.spacer.native_mbp=true to use it","distinct":true,"url":"https://api.github.com/repos/agurfinkel/z3/commits/a7f31797606e25dd68f5dbc9d55625ac643a8b26"}]}
{"actor":{"display_login":"agurfinkel"}}