{"shas":[["6b309f4ccd4db20e54f18d0a6d3a7eed5659c766","0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","Cleanup.","Jesse Alama"],["66fed6bd7e0dba4e1c9e119de03eead1edc5b3b6","0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","100-theorems improvements.\n\nShow the HTML (if it exists).","Jesse Alama"]],"repo":"jessealama/mizar-items","actor":"jessealama","ref":"refs/heads/100theorems","size":2,"head":"66fed6bd7e0dba4e1c9e119de03eead1edc5b3b6","actor_gravatar":"eeae68e5b703159b09070c1b3724c8fe","push_id":28321357}