diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2021-01-12 14:24:58 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 11:33:16 +0100 |
| commit | 829f8b948da9837377d3aee963f50e72a16f9a2c (patch) | |
| tree | 0c1219b8979fdf4ef8b51d27f60ef2d6627e7fe3 /ansible/roles | |
| parent | d02c86663e71b724a04e6f3eae05888583bdd160 (diff) | |
ansible: tasks/osmo-ci: clone osmo-gsm-manuals
Perform the initial clone of osmo-gsm-manuals.git, just like osmo-ci.git.
Related: OS#4912
Change-Id: I39a09a4297c7c78357b3d4db4ab89547fa08db59
Diffstat (limited to 'ansible/roles')
| -rw-r--r-- | ansible/roles/osmocom-jenkins-slave/tasks/osmo-ci.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ansible/roles/osmocom-jenkins-slave/tasks/osmo-ci.yml b/ansible/roles/osmocom-jenkins-slave/tasks/osmo-ci.yml index d70d8b6..b26d6ab 100644 --- a/ansible/roles/osmocom-jenkins-slave/tasks/osmo-ci.yml +++ b/ansible/roles/osmocom-jenkins-slave/tasks/osmo-ci.yml @@ -11,6 +11,13 @@ repo: "https://git.osmocom.org/osmo-ci" dest: "/home/{{ jenkins_user }}/osmo-ci" +- name: deploy osmo-gsm-manuals to home directory + become: yes + become_user: "{{ jenkins_user }}" + git: + repo: "https://git.osmocom.org/osmo-gsm-manuals" + dest: "/home/{{ jenkins_user }}/osmo-gsm-manuals" + - name: rebuild osmocom docker images for jenkins build tests become: yes become_user: "{{ jenkins_user }}" |