{"head":"d4efdf12d9280bbbbe7912856fd0f12c3be48ec9","size":1,"push_id":47145285,"commits":[{"sha":"d4efdf12d9280bbbbe7912856fd0f12c3be48ec9","author":{"name":"Jesse Alama","email":"0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com"},"url":"https://api.github.com/repos/jessealama/xsl4mizar/commits/d4efdf12d9280bbbbe7912856fd0f12c3be48ec9","message":"look for mizar_from steps."}],"ref":"refs/heads/feature/all-lemmas-are-items","legacy":{"head":"d4efdf12d9280bbbbe7912856fd0f12c3be48ec9","size":1,"push_id":47145285,"shas":[["d4efdf12d9280bbbbe7912856fd0f12c3be48ec9","jesse.alama@gmail.com","look for mizar_from steps.","Jesse Alama"]],"ref":"refs/heads/feature/all-lemmas-are-items"}}