{"push_id":1276442124,"size":1,"distinct_size":1,"ref":"refs/heads/server-protocol","head":"d5945cbc871cb00a23094e5709a92f79b58cf80f","before":"7e6e56e99a21fa741bda22b1c5ea90eb99000234","commits":[{"sha":"d5945cbc871cb00a23094e5709a92f79b58cf80f","author":{"name":"Paul Steckler","email":"3e28969a28708413e246320f9a89f07a222cf45c@stecksoft.com"},"message":"flush call queue on fail value","distinct":true,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/d5945cbc871cb00a23094e5709a92f79b58cf80f"}]}
{"actor":{"display_login":"psteckler"}}