{"push_id":713432324,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6423590bc05c93ada7c0f2b659e01320589011d4","before":"3775f79f765e13fecba385e08be566636a9ea0c1","commits":[{"sha":"6423590bc05c93ada7c0f2b659e01320589011d4","author":{"email":"f7ac7ebb015968696429b56a51dc4e4be7ec495e@rpi.edu","name":"Yao Dong"},"message":"Remove useless code in TransformChecker.java","distinct":true,"url":"https://api.github.com/repos/proganalysis/type-inference/commits/6423590bc05c93ada7c0f2b659e01320589011d4"}]}