Remove jenkins05 - jenkins07 from nodepool

Change-Id: I6c8c3ac41f2d5fb3887d86ec5e1ecddc8273109f

nodepool/nodepool.yaml

@@ -8,9 +8,6 @@ cron:
   image-update: '34 10 * * *'
 
 zmq-publishers:
-  - tcp://jenkins05.openstack.org:8888
-  - tcp://jenkins06.openstack.org:8888
-  - tcp://jenkins07.openstack.org:8888
   - tcp://zl01.openstack.org:8888
   - tcp://zl02.openstack.org:8888
   - tcp://zl03.openstack.org:8888
@@ -620,9 +617,6 @@ providers:
         private-key: /home/nodepool/.ssh/id_rsa
 
 targets:
-  - name: jenkins05
-  - name: jenkins06
-  - name: jenkins07
   - name: zuul
     assign-via-gearman: True