{"push_id":1111063094,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b37501e5403c27e09cca68e087de341419004039","before":"5ef8c4c3534918413f5037f9a5b7919b2a96389b","commits":[{"sha":"b37501e5403c27e09cca68e087de341419004039","author":{"email":"2ead1e2e0ae6a87f7bc0f79360ab602a46f82834@gmail.com","name":"Karlheinz Friedberger"},"message":"Switch from Java7 to Java8.\n\nToday two related project migrated to Java8,\nand to be consistent, we also switch JavaSMT.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/b37501e5403c27e09cca68e087de341419004039"}]}