{"push_id":2740194548,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3283bdc456441faf4725d759683c88927436995d","before":"ad58c82f9f619c5833de68b5b3d93eaa6015c53c","commits":[{"sha":"3283bdc456441faf4725d759683c88927436995d","author":{"name":"Chun Tian (binghe)","email":"670b0754da20f99e5362d8b8921eac987705c38f@gmail.com"},"message":"Minor typesetting optimizations","distinct":true,"url":"https://api.github.com/repos/binghe/HOL-CCS/commits/3283bdc456441faf4725d759683c88927436995d"}]}
{"actor":{"display_login":"binghe"}}