{"push_id":647093821,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"67c0c1943a95f18ae294e2c70f5a2ed8917be2b6","before":"e253ec741f973639154d96319ed5d5f96165dd2c","commits":[{"sha":"67c0c1943a95f18ae294e2c70f5a2ed8917be2b6","author":{"email":"64b2b6d12bfe4baae7dad3d018f8cbf6b0e7a044@eric.seidel.io","name":"Eric Seidel"},"message":"Update .travis.yml\n\nJust use released versions of fixpoint and LH","distinct":true,"url":"https://api.github.com/repos/gridaphobe/target/commits/67c0c1943a95f18ae294e2c70f5a2ed8917be2b6"}]}