From 85ca9f90377cec95c5179685a720d72d2714e353 Mon Sep 17 00:00:00 2001
From: Carmelo Messina <uazo@users.noreply.github.com>
Date: Fri, 4 Apr 2025 08:52:53 +0200
Subject: [PATCH] [TOOLS] update fdroid repo: make runner configurable

Lately I find some problems with updating the fdroid repo via ftp. this is an attempt to see if it is a server problem.
---
 .github/workflows/update_fdroid_repo.yaml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/update_fdroid_repo.yaml b/.github/workflows/update_fdroid_repo.yaml
index ac9e2aa7..367454e7 100644
--- a/.github/workflows/update_fdroid_repo.yaml
+++ b/.github/workflows/update_fdroid_repo.yaml
@@ -2,6 +2,11 @@ name: Update fdroid repo
 
 on:
   workflow_dispatch:
+    inputs:
+      type:
+        description: 'runner? [dev/ci]'
+        required: true
+        default: 'ci'
 
 env:
   REMOVEDOCKERSUPPORT: true
@@ -10,7 +15,7 @@ env:
 
 jobs:
   update-fdroid:
-    runs-on: ci2
+    runs-on: ${{ github.event.inputs.type }}
 
     container:
       image: uazo/fdroidserver:latest