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