git: remove clone_repo option (#58343)

group_vars/all

@@ -2,7 +2,6 @@ clean_venv: false
 compile_theme: true
 django_version: 2.2.19
 git_ssh: false
-clone_repo: true
 devinst_share: /usr/local/share/publik-devinst
 publik_conf: "/home/{{user}}/.config/publik"
 publik_settings: "{{publik_conf}}/settings"

install_source.yml

@@ -5,7 +5,6 @@
     version: "{{version}}"
   when:
     - git_ssh
-    - clone_repo
 
 - name: "https git clone {{ repo }}"
   git:
@@ -14,7 +13,6 @@
     version: "{{version}}"
   when:
     - not git_ssh
-    - clone_repo
 
 # Ugly hack to perform a simple 'pip install -e /some/source/dir'
 - name: "pip install {{ repo_dir }}"

tasks/install_theme.yml

@@ -6,7 +6,6 @@
     version: "{{version}}"
   when:
     - git_ssh
-    - clone_repo
 
 - name: standard git clone {{theme_repo}}
   git:
@@ -15,7 +14,6 @@
     version: "{{version}}"
   when:
     - not git_ssh
-    - clone_repo
 
 - name: compile theme {{theme_repo}}
   make: