GitHub PushEvent at 2014-07-29 13:19:42
Repository: ceylon-sdk
Actor: gavinking
Payload: {"shas":[["28b4d725470ce14c6b62b7bb1b908dea3d9324fe","33fd0301077bc24fc6513513c71e288fcecc0c66@ceylon-lang.org","seal the API of ceylon.file","gavinking",true],["02ecfcf03e02c57314ac435a51b6b117bb37df00","33fd0301077bc24fc6513513c71e288fcecc0c66@ceylon-lang.org","use fun type abbreviation","gavinking",true]],"size":2,"ref":"refs/heads/master","head":"02ecfcf03e02c57314ac435a51b6b117bb37df00"}