{"push_id":908321316,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"72924b4b2a7357f3a512f9768e7bb0f2cc8acf40","before":"ce35f606918a57d336b3cf3a299d7ae02af07d67","commits":[{"sha":"0fae5e99761254e84d9d3a829539b3e0a9c33f19","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Javadoc fixes","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/0fae5e99761254e84d9d3a829539b3e0a9c33f19"},{"sha":"72924b4b2a7357f3a512f9768e7bb0f2cc8acf40","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Run Travis checks for Java 8,\nfor example Javadoc has better checks on Java 8","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/72924b4b2a7357f3a512f9768e7bb0f2cc8acf40"}]}