Robert Collins 32f42c745f Document Jenkin slave management.
This is correct-but-incomplete as I understand it: nodepool is not yet covered.

Change-Id: Ib45cdb94f876e51bd7c01aecad70f470923d9b52
2013-09-23 17:27:22 -04:00
..
2013-09-23 17:27:22 -04:00