{"push_id":1285742791,"size":4,"distinct_size":2,"ref":"refs/heads/server-protocol","head":"5fabe822c989b94704f71fbd904cc6e0d0cf861c","before":"6be1dc68ca5b02a2c40cf101853372f14c9acaa0","commits":[{"sha":"ceaec9b3e98da7978516f69abca33f65e10f3b03","author":{"name":"Erik Martin-Dorel","email":"0318bc6a0b7bafa12db0e2bb793bb0e44b35ac46@martin-dorel.org"},"message":"Run \"make magic\" to update texi comments from elisp docstrings.","distinct":false,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/ceaec9b3e98da7978516f69abca33f65e10f3b03"},{"sha":"026a3a7f984259c65ffa707c6bb8196c311a2f4b","author":{"name":"Erik Martin-Dorel","email":"0318bc6a0b7bafa12db0e2bb793bb0e44b35ac46@martin-dorel.org"},"message":"Add documentation about the recommended way to set coq-prog-name.","distinct":false,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/026a3a7f984259c65ffa707c6bb8196c311a2f4b"},{"sha":"df31e990fa88b80afc66764240df30edc106d0b0","author":{"name":"Paul Steckler","email":"3e28969a28708413e246320f9a89f07a222cf45c@stecksoft.com"},"message":"Merge commit 'ceaec9b3e98da7978516f69abca33f65e10f3b03' into server-protocol","distinct":true,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/df31e990fa88b80afc66764240df30edc106d0b0"},{"sha":"5fabe822c989b94704f71fbd904cc6e0d0cf861c","author":{"name":"Paul Steckler","email":"3e28969a28708413e246320f9a89f07a222cf45c@stecksoft.com"},"message":"Merge commit '026a3a7f984259c65ffa707c6bb8196c311a2f4b' into server-protocol","distinct":true,"url":"https://api.github.com/repos/psteckler/ProofGeneral/commits/5fabe822c989b94704f71fbd904cc6e0d0cf861c"}]}
{"actor":{"display_login":"psteckler"}}