{"push_id":1257540655,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"2dbf62c9e5ebe2cfd39c735260bdf6912dee46dc","before":"2dfcba8ee577e08d06dbc96f178510111b687dbe","commits":[{"sha":"2dbf62c9e5ebe2cfd39c735260bdf6912dee46dc","author":{"name":"Travis","email":"d8c2dd775e638f321570ec9e0e20ada72f845d33@metaworld.me"},"message":"Deploy to GitHub Pages","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/2dbf62c9e5ebe2cfd39c735260bdf6912dee46dc"}]}
{"actor":{"display_login":"dbeyer-bot"}}