{"shas":[["c24d8efd04d6bc6dad7ea61251f6312b350cb99f","0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","Double quotes for attribute.","Jesse Alama"]],"repo":"jessealama/mizar-items","actor":"jessealama","ref":"refs/heads/100theorems","size":1,"head":"c24d8efd04d6bc6dad7ea61251f6312b350cb99f","actor_gravatar":"eeae68e5b703159b09070c1b3724c8fe","push_id":27236110}