{"push_id":1247936582,"size":1,"distinct_size":1,"ref":"refs/heads/server-protocol","head":"971fa4ea887f095f8fbd939fa5a1a06c7e05e006","before":"9db9fae7b88f79790d3f2a5e53e186f0f247a1fe","commits":[{"sha":"971fa4ea887f095f8fbd939fa5a1a06c7e05e006","author":{"name":"Paul Steckler","email":"3e28969a28708413e246320f9a89f07a222cf45c@stecksoft.com"},"message":"print hint; handle errormsg w/ 0 state-id","distinct":true,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/971fa4ea887f095f8fbd939fa5a1a06c7e05e006"}]}
{"actor":{"display_login":"psteckler"}}