{"shas":[["8d7fc18e9bfc65fae0699bfa5d4fdf8dde207916","bca3073722e1e680e14c3d1f968a436bcb13a24d@mizar.cs.ualberta.ca","String equality.","Jesse"]],"repo":"jessealama/mizar-items","actor":"jessealama","ref":"refs/heads/master","size":1,"head":"8d7fc18e9bfc65fae0699bfa5d4fdf8dde207916","actor_gravatar":"eeae68e5b703159b09070c1b3724c8fe","push_id":26088234}