diff options
| author |  Joe Banks <[email protected]> | 2024-08-26 16:26:53 +0100 |
|---|---|---|
| committer |  Johannes Christ <[email protected]> | 2024-08-26 19:22:41 +0200 |
| commit | 9f324c5d5fff74acfaa6b0b257510f3e948b1162 (patch) | |
| tree | b780945bcd464cb7154f0c260915baa2b53403b0 | |
| parent | Make git-mirrors a system user (diff) | |
Improve formatting of git clone command for mirrors
| -rw-r--r-- | ansible/roles/git-mirrors/tasks/main.yml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/ansible/roles/git-mirrors/tasks/main.yml b/ansible/roles/git-mirrors/tasks/main.yml index 674e708..0c2f78b 100644 --- a/ansible/roles/git-mirrors/tasks/main.yml +++ b/ansible/roles/git-mirrors/tasks/main.yml @@ -53,9 +53,13 @@ - name: Clone repositories # noqa: command-instead-of-module become: true become_user: "{{ git_mirrors_user }}" - command: > - git clone --mirror https://github.com/{{ item.owner }}/{{ item.repo }}.git {{ git_mirrors_base_dir }}/mirrored/{{ item.owner }}/{{ item.repo }} - args: + command: + argv: + - "git" + - "clone" + - "--mirror" + - "https://github.com/{{ item.owner }}/{{ item.repo }}.git" + - "{{ git_mirrors_base_dir }}/mirrored/{{ item.owner }}/{{ item.repo }}" creates: "{{ git_mirrors_base_dir }}/mirrored/{{ item.owner }}/{{ item.repo }}" with_items: - "{{ git_mirrors_mirrored_repositories }}" |