GitHub PushEvent at 2014-12-04 20:52:15
Repository: spring-ide
Actor: kdvolder
Payload: {"shas":[["a9f8b25914a009116ff1814755bad11bbe1cf97b","05bafd846bee7a03e4b14780d895a14d5163f12d@pivotal.io","Add plugin.properties to properties editor plugin","Kris De Volder",true]],"size":1,"ref":"refs/heads/master","head":"a9f8b25914a009116ff1814755bad11bbe1cf97b"}