GitHub PushEvent at 2014-10-28 10:17:25
Repository: rascal-eclipse
Actor: jurgenvinju
Payload: {"shas":[["9892eebed5cf9d25f5a2000ce52be0c8a56fd700","6c769ca3981f421eb697e4385a1e533eb9c5d001@vinju.org","fixed two similar bugs with respect to resolving closed or non-existing projects","Jurgen J. Vinju",true]],"size":1,"ref":"refs/heads/master","head":"9892eebed5cf9d25f5a2000ce52be0c8a56fd700"}