{"push_id":667113054,"size":1,"distinct_size":1,"ref":"refs/heads/unstable","head":"ef32aaaf12bbaac939c66161cfa9ad4bbdecec68","before":"afea50e6318072ee2d12537d960b1a1ff6256311","commits":[{"sha":"ef32aaaf12bbaac939c66161cfa9ad4bbdecec68","author":{"email":"cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com","name":"Nuno Lopes"},"message":"don't use -fPIC on cygwin 64\n\nSigned-off-by: Nuno Lopes <nlopes@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/ef32aaaf12bbaac939c66161cfa9ad4bbdecec68"}]}