buttonmen-dev/buttonmen — pull request #735 by cgolubi1 (2014-03-17 01:31:01+00:00)
Title: * set puppet hostname for jenkins node so it can run puppet

* More work for #733
* Again, this is only deploy code to run puppet *on* the jenkins server, so no jenkins test