{"push_id":2760629899,"size":1,"distinct_size":1,"ref":"refs/heads/express2018_final","head":"16f6934b80e8d322c9e3a93057248be03bcbe562","before":"56e6b26bb5e22a624aa52e8b9453c01dbc5e22a6","commits":[{"sha":"16f6934b80e8d322c9e3a93057248be03bcbe562","author":{"name":"Chun Tian (binghe)","email":"670b0754da20f99e5362d8b8921eac987705c38f@gmail.com"},"message":"remove references.tex!","distinct":true,"url":"https://api.github.com/repos/binghe/HOL-CCS/commits/16f6934b80e8d322c9e3a93057248be03bcbe562"}]}
{"actor":{"display_login":"binghe"}}