{"push_id":1317874399,"size":2,"distinct_size":1,"ref":"refs/heads/server-protocol","head":"4b0275b08eb1963d1fd9d9ca2ec3ada8db87f2cb","before":"aeb65fc85b6817ecf539dafc2914649dd6b6b80b","commits":[{"sha":"fa2a9c384f1a646176394b7c3785cd90312582e4","author":{"name":"Erik Martin-Dorel","email":"0318bc6a0b7bafa12db0e2bb793bb0e44b35ac46@martin-dorel.org"},"message":"Promote CHANGES since 2820cb68 as related to PG 4.4.","distinct":false,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/fa2a9c384f1a646176394b7c3785cd90312582e4"},{"sha":"4b0275b08eb1963d1fd9d9ca2ec3ada8db87f2cb","author":{"name":"Paul Steckler","email":"3e28969a28708413e246320f9a89f07a222cf45c@stecksoft.com"},"message":"Merge commit 'fa2a9c384f1a646176394b7c3785cd90312582e4' into server-protocol","distinct":true,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/4b0275b08eb1963d1fd9d9ca2ec3ada8db87f2cb"}]}
{"actor":{"display_login":"psteckler"}}