jenkinsci/gradle-plugin — pull request #16 by ndeloof (2013-05-22 09:36:56+00:00)
Title: make "force GRADLE_USER_HOME" an option

rework https://github.com/jenkinsci/gradle-plugin/pull/12 as an option for the few use-cases this actually makes sense