{"push_id":2886085137,"size":1,"distinct_size":1,"ref":"refs/heads/temporal_deep_fix","head":"29222e194e5db4290b54bac0758c8538c2f1d34a","before":"776deedd07c6ce48485f7551241bbd63a7336499","commits":[{"sha":"29222e194e5db4290b54bac0758c8538c2f1d34a","author":{"name":"Chun Tian (binghe)","email":"670b0754da20f99e5362d8b8921eac987705c38f@gmail.com"},"message":"Stage work on fixing PSL (regexp) example","distinct":true,"url":"https://api.github.com/repos/binghe/HOL/commits/29222e194e5db4290b54bac0758c8538c2f1d34a"}]}
{"actor":{"display_login":"binghe"}}