{"push_id":2739759651,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e48000374620c207816e05f4b192df549d5f5158","before":"c41c3b58662fcc10c8b213751fd526edf4901080","commits":[{"sha":"e48000374620c207816e05f4b192df549d5f5158","author":{"name":"Chun Tian (binghe)","email":"670b0754da20f99e5362d8b8921eac987705c38f@gmail.com"},"message":"Fixed 'Definitions 2.1 and 2.2: I think is clearer if you expand the second clause and explicitly write the converse of 1.' #25","distinct":true,"url":"https://api.github.com/repos/binghe/HOL-CCS/commits/e48000374620c207816e05f4b192df549d5f5158"}]}
{"actor":{"display_login":"binghe"}}