Commit 1b14128d authored by Guido Gunther's avatar Guido Gunther
Browse files

Rename jenkins to jenkinsmaster

So we can have jenkins worker nodes
parent d27c0b57
---
- hosts: jenkins
- hosts: jenkinsmaster
user: root
vars:
dev_pkgs:
......
jenkins:
jenkinsmaster:
hosts:
arm01.puri.sm:
ansible_port: 1234 # ssh port
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment