{"push_id":634127078,"size":1,"distinct_size":1,"ref":"refs/heads/krun","head":"019f5369655087c329ebf50e616a79f1f515d0ee","before":"ae56707c8900d4d5bfb9f2674e2ea41017df33c1","commits":[{"sha":"019f5369655087c329ebf50e616a79f1f515d0ee","author":{"email":"5dc2875a19cf1c71c282faabe4d2b928fdd979ec@illinois.edu","name":"xiaohe27"},"message":"rm a intellij file","distinct":true,"url":"https://api.github.com/repos/xiaohe27/java-semantics/commits/019f5369655087c329ebf50e616a79f1f515d0ee"}]}