{"head":"c25b849c3097b99ae3faea2b7248c3574bd61858","size":5,"push_id":44671108,"shas":[["02fdd7e4219a7f120a2410ce517b1f108475e76c","244d94c892b0b98bb8adffbe6ec88875554ef9d8@rrdhcp-60-78.redrover.cornell.edu","Merge branch 'master', remote-tracking branch 'origin'","Dan Chen"],["2978890ae892a6aa15c8a3ec44111b7993acaca5","244d94c892b0b98bb8adffbe6ec88875554ef9d8@rrdhcp-60-78.redrover.cornell.edu","Merge branch 'HEAD' of git@github.com:leegao/Xi.git","Dan Chen"],["eb7f53228532598cab3afa9cb9e3ac020f905cd1","244d94c892b0b98bb8adffbe6ec88875554ef9d8@rrdhcp-60-183.redrover.cornell.edu","Merge branch 'HEAD' of git@github.com:leegao/Xi.git","Dan Chen"],["20701166717339f4f3d7af9da37cfb5a641b5d3e","244d94c892b0b98bb8adffbe6ec88875554ef9d8@rrdhcp-60-183.redrover.cornell.edu","type check implementation","Dan Chen"],["c25b849c3097b99ae3faea2b7248c3574bd61858","244d94c892b0b98bb8adffbe6ec88875554ef9d8@rrdhcp-60-183.redrover.cornell.edu","Merge branch 'HEAD' of git@github.com:leegao/Xi.git","Dan Chen"]],"ref":"refs/heads/master"}