GitHub PushEvent at 2014-07-09 08:47:34
Repository: scala-ide
Actor: huitseeker
Payload: {"shas":[["1fd190c509efa07ff7a4111ecd1a83ca21b5ed5d","6ecadad13e7b3cb096413ad449bd17d381241b2d@typesafe.com","More linting\n\n- better name for scala instals\n- equals for ScalaInstallation\n- formatting\n- simpler performOK on customoInstallations update\n- sparser labels for Scala isntallations","François Garillot",true]],"size":1,"ref":"refs/heads/issue/scala-installations","head":"1fd190c509efa07ff7a4111ecd1a83ca21b5ed5d"}