scala/jenkins-scripts — pull request #106 by retronym (2014-05-06 16:49:41+00:00)
Title: Temporarily disable IDE PR validation

Until https://github.com/scala-ide/uber-build/pull/46 and friends
are in place.