push2pull
Merge branch 'div-fanatic-experiment' of github.com:jenkinsci/jenkins into div-fanatic-experiment

* 'div-fanatic-experiment' of github.com:jenkinsci/jenkins:
  adding some tricky detail
push2pull
Merge branch 'div-fanatic-experiment' of github.com:jenkinsci/jenkins into div-fanatic-experiment

* 'div-fanatic-experiment' of github.com:jenkinsci/jenkins:
  adding some tricky detail