{"push_id":643369556,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a48b91dc86208c73a855a5de48fbd652df31081e","before":"96bfca9c21a1ef00965c39c8b0c1ae1fb43e7de8","commits":[{"sha":"a48b91dc86208c73a855a5de48fbd652df31081e","author":{"email":"a1950ad10c3f6d1d8c97f7d98e007b4685912d09@lamda.nju.edu.cn","name":"Wang-Zhou Dai"},"message":"20150424","distinct":true,"url":"https://api.github.com/repos/haldai/Logic-Vision/commits/a48b91dc86208c73a855a5de48fbd652df31081e"}]}