GitHub PushEvent at 2014-01-27 20:05:08
Repository: polya
Actor: avigad
Payload: {"shas":[["2f26f9d76e6b227905ae59f2cd8f64f3d05a1043","2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","added visibility check to messages","Jeremy Avigad",true]],"size":1,"ref":"refs/heads/master","head":"2f26f9d76e6b227905ae59f2cd8f64f3d05a1043"}