{"push_id":2764882101,"size":1,"distinct_size":1,"ref":"refs/heads/printing","head":"5a83694c48776725144196c4837993fccb683623","before":"d0b4fad72dded1c466afcaa24fe420d091ea4d95","commits":[{"sha":"5a83694c48776725144196c4837993fccb683623","author":{"name":"Virgil Serbanuta","email":"8460e247a3dbc5da1ba0ca46c5321ac9db046fb9@poarta.org"},"message":"Document the IndentingPrinter","distinct":true,"url":"https://api.github.com/repos/kframework/kore/commits/5a83694c48776725144196c4837993fccb683623"}]}
{"actor":{"display_login":"virgil-serbanuta"}}