ci: run renovate on one repository on dispatch

.gitea/workflows/renovate.yaml

@@ -7,6 +7,16 @@ on:
     # opens the PRs approved there.
     - cron: "47 15 * * *"
   workflow_dispatch:
+    inputs:
+      repository:
+        description: "One repository, such as edb/galtinn; empty for all of edb"
+        required: false
+        default: ""
+
+# Runs on the same repository wait for each other instead of racing on its branches.
+concurrency:
+  group: renovate-${{ inputs.repository || 'all' }}
+  cancel-in-progress: false
 
 jobs:
   renovate:
@@ -22,9 +32,10 @@ jobs:
           # ed25519 key; its public half is on the renovate account. Gitea shows a commit as
           # verified only if the author email is a verified email on that account.
           RENOVATE_GIT_PRIVATE_KEY: ${{ secrets.RENOVATE_GIT_PRIVATE_KEY }}
-          # Every edb repository the renovate account can write to
+          # Every edb repository the renovate account can write to, or the one a manual run
+          # names. Ticking a box Renovate wrote dispatches such a run (edb-infra, roles/gitea.md).
           RENOVATE_AUTODISCOVER: "true"
-          RENOVATE_AUTODISCOVER_FILTER: edb/*
+          RENOVATE_AUTODISCOVER_FILTER: ${{ inputs.repository || 'edb/*' }}
           # Raises the GitHub API rate limit for release notes and github-tags lookups
           GITHUB_COM_TOKEN: ${{ secrets.RENOVATE_GITHUB_COM_TOKEN }}
           LOG_LEVEL: info