GitHub PushEvent at 2014-05-02 13:43:33
Repository: amber-interpreter
Actor: gianantonio71
Payload: {"shas":[["1d31012b674001e5ada9db349f62ea81d1112504","2a1691e6079ec5a8b363020f4b47770de500d03e@gmail.com","Ported to Linux","Giovanni Zanandrea",true]],"size":1,"ref":"refs/heads/master","head":"1d31012b674001e5ada9db349f62ea81d1112504"}