{"push_id":1250971510,"size":1,"distinct_size":1,"ref":"refs/heads/server-protocol","head":"97ce476f5541776bd2930d1a1e87278eb8b09db0","before":"c505b5515ff06c977bb7bd501c1d1d24adbdb8a4","commits":[{"sha":"97ce476f5541776bd2930d1a1e87278eb8b09db0","author":{"name":"Paul Steckler","email":"3e28969a28708413e246320f9a89f07a222cf45c@stecksoft.com"},"message":"restore goal command","distinct":true,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/97ce476f5541776bd2930d1a1e87278eb8b09db0"}]}
{"actor":{"display_login":"psteckler"}}