{"push_id":966648853,"size":1,"distinct_size":1,"ref":"refs/heads/scala-2.9","head":"7d2527943fdcfd9db91c8d4b0c0b62611836598b","before":"f7d99dcbcbb586d308aed7bb1d4fa22b3ea3fcae","commits":[{"sha":"7d2527943fdcfd9db91c8d4b0c0b62611836598b","author":{"email":"3d0f3b9ddcacec30c4008c5e030e6c13a478cb4f@jonsson.xyz","name":"Daniel Jonsson"},"message":"Add patch for setting the correct Z3 path on Linux","distinct":true,"url":"https://api.github.com/repos/matachi/rangeFix/commits/7d2527943fdcfd9db91c8d4b0c0b62611836598b"}]}