{"shas":[["124e97207db5ddb3fc0de9fa50e2b5c3d7f3eec4","0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","Don't print stuff like \":: CKB45:1\".","Jesse Alama"]],"repo":"jessealama/xsl4mizar","actor":"jessealama","ref":"refs/heads/jesse-hunchentoot-site","size":1,"head":"124e97207db5ddb3fc0de9fa50e2b5c3d7f3eec4","actor_gravatar":"eeae68e5b703159b09070c1b3724c8fe","push_id":26582249}