{"push_id":1652086343,"size":1,"distinct_size":1,"ref":"refs/heads/server-protocol","head":"de57b12e0a8016ae9a435beb2c8832b1822d45c7","before":"d6275f762fd7cb1f24f8de68249eafaeb11acdd8","commits":[{"sha":"de57b12e0a8016ae9a435beb2c8832b1822d45c7","author":{"name":"Paul Steckler","email":"3e28969a28708413e246320f9a89f07a222cf45c@stecksoft.com"},"message":"reverting 51ef7a4cc5e74c6f0d45dea900bc10147dd27e63","distinct":true,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/de57b12e0a8016ae9a435beb2c8832b1822d45c7"}]}
{"actor":{"display_login":"psteckler"}}