mirror-workspace-git: use port when pushing git repo through ssh

In the case of using a custom SSH port to connect to the ansible host,
the task of pushing the repository failed, as it assumed the SSH port to
be the default 22.

Now the command is aware of the custom SSH port, as it is specified in
the host facts.

Change-Id: I3418016ad5a57e3024a8a553340a7e69b7d1c2fe
This commit is contained in:
Tudor Tabacel 2018-11-09 14:20:17 +01:00 committed by Tobias Henkel
parent 7cee7156bc
commit 34cfe44ca5
No known key found for this signature in database
GPG Key ID: 03750DEC158E5FA2
1 changed files with 1 additions and 1 deletions

View File

@ -7,7 +7,7 @@
with_dict: "{{ zuul.projects }}"
- name: Synchronize src repos to workspace directory
command: "git push --mirror git+ssh://{{ ansible_user }}@{{ ansible_host }}/{{ ansible_user_dir }}/{{ item.value.src_dir}}"
command: "git push --mirror git+ssh://{{ ansible_user }}@{{ ansible_host }}:{{ ansible_port }}/{{ ansible_user_dir }}/{{ item.value.src_dir}}"
args:
chdir: "{{ zuul.executor.work_root }}/{{ item.value.src_dir }}"
with_dict: "{{ zuul.projects }}"