GitHub PushEvent at 2014-12-24 01:41:22
Repository: idris-segments
Actor: artuuge
Payload: {"shas":[["85fd1178c13312da79cbfc7422967eadf50b2db0","4c557abc06bfaded323f6970f26dc6e70e0269cb@gmail.com","add CompareNat module","artuuge",true],["064ef120478a170525ffd071097106229c094205","4c557abc06bfaded323f6970f26dc6e70e0269cb@gmail.com","add author","artuuge",true]],"size":2,"ref":"refs/heads/master","head":"064ef120478a170525ffd071097106229c094205"}