{"push_id":969779223,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"f4f3d4eb4db0cd97ace73fa19f01bede308d3651","before":"9d862a157259288bbf228ace0a681f530f1adabb","commits":[{"sha":"f4f3d4eb4db0cd97ace73fa19f01bede308d3651","author":{"email":"e6cc0fb2b8dad4110ef62e9a33e5a8aa4e0f86d7@testing-worker-linux-docker-4686d1bf-3390-linux-8.prod.travis-ci.org","name":"Travis"},"message":"Deploy to GitHub Pages","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/f4f3d4eb4db0cd97ace73fa19f01bede308d3651"}]}