Don't ask for forgejo_dump_path, just deploy the repos if the path was given

roles/forgejo/tasks/main.yml

@@ -39,6 +39,7 @@
 
 - name: Include repos tasks
   ansible.builtin.include_tasks: repos.yml
+  when: forgejo_dump_path is defined
 
 - name: Include ssh tasks
   ansible.builtin.include_tasks: ssh.yml

roles/forgejo/tasks/repos.yml

@@ -1,12 +1,5 @@
 ---
 
-- name: Ask to push latest forgejo_dump zipfile
-  when: forgejo_dump_path is not defined
-  ansible.builtin.pause:
-    prompt: "Local path to forgejo dump, so we can push it [leave empty to not push]"
-    echo: true
-  register: forgejo_dump_path
-
 - name: Push latest forgejo dump zipfile (no user input)
   become: true
   ansible.builtin.copy:
@@ -15,17 +8,6 @@
     owner: git
     group: git
     mode: 0640
-  when: forgejo_dump_path.user_input is not defined
-
-- name: Push latest forgejo dump zipfile (user input)
-  become: true
-  ansible.builtin.copy:
-    src: "{{ forgejo_dump_path.user_input }}"
-    dest: "{{ forgejo_run_dir }}/forgejo-dumps/{{ forgejo_dump_path.user_input | basename }}"
-    owner: git
-    group: git
-    mode: 0640
-  when: forgejo_dump_path.user_input is defined and forgejo_dump_path.user_input != ''
 
 - name: Find all forgejo dumps on the server
   become: true