{"push_id":546112536,"size":2,"distinct_size":2,"ref":"refs/heads/upstream","head":"9b085288839575e7367fb8d18f8dd6d697c4727e","before":"341be771345701cb737bd10ffec77e43cc3c66a0","commits":[{"sha":"8d6e3a927edc01faa7f764c042a38128a86934ed","author":{"email":"b95b3fc12d2fb0d36b80ce477c7eb7535c072350@gmail.com","name":"2b7e15@gmail.com"},"message":"Add SMT-LIB VeriT import regression test.\n\n\ngit-svn-id: http://gapt.googlecode.com/svn/trunk@2394 85d21ef8-add0-11de-ae77-5bfb9c5a3f34","distinct":true,"url":"https://api.github.com/repos/newca12/gapt/commits/8d6e3a927edc01faa7f764c042a38128a86934ed"},{"sha":"9b085288839575e7367fb8d18f8dd6d697c4727e","author":{"email":"b95b3fc12d2fb0d36b80ce477c7eb7535c072350@gmail.com","name":"2b7e15@gmail.com"},"message":"Remove debugging code.\n\n\ngit-svn-id: http://gapt.googlecode.com/svn/trunk@2395 85d21ef8-add0-11de-ae77-5bfb9c5a3f34","distinct":true,"url":"https://api.github.com/repos/newca12/gapt/commits/9b085288839575e7367fb8d18f8dd6d697c4727e"}]}