add option clone_repo to skip git clone tasks (#23963)

group_vars/all

@@ -1,6 +1,7 @@
 compile_theme: true
 django_version: 1.8.18
 git_ssh: false
+clone_repo: true
 src_dir: "/home/{{user}}/src"
 ssl_certificate: "/etc/ssl/certs/*.local.publik.crt"
 ssl_certificate_key: "/etc/ssl/private/*.local.publik.key"

install_source.yml

@@ -2,13 +2,17 @@
   git:
     repo: "ssh://git@git.entrouvert.org/{{ repo }}.git"
     dest: "{{ repo_dir }}"
-  when: git_ssh
+  when:
+    - git_ssh
+    - clone_repo
 
 - name: "standard git clone {{ repo }}"
   git:
     repo: "git://repos.entrouvert.org/{{ repo }}.git"
     dest: "{{ repo_dir }}"
-  when: not git_ssh
+  when:
+    - not git_ssh
+    - clone_repo
 
 # Ugly hack to perform a simple 'pip install -e /some/source/dir'
 - name: "pip install {{ repo_dir }}"

roles/base/tasks/main.yml

@@ -67,13 +67,17 @@
   git:
     repo: ssh://git@git.entrouvert.org/publik-base-theme.git
     dest: "{{ src_dir }}/publik-base-theme"
-  when: git_ssh
+  when:
+    - git_ssh
+    - clone_repo
 
 - name: standard git clone publik-base-theme
   git:
     repo: git://repos.entrouvert.org/publik-base-theme.git
     dest: "{{ src_dir }}/publik-base-theme"
-  when: not git_ssh
+  when:
+    - not git_ssh
+    - clone_repo
 
 - name: make publik-base-theme
   make: