gitreef

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 0fc67090a7df8a98ebbd62b2421d09795c1b0295
parent f049056b3e25810915789d141fcf5684b0435d1f
Author: Matthias Jaros <jaros@mailbox.org>
Date:   Fri, 24 Oct 2025 08:20:12 +0200

Fix build

Diffstat:
MJenkinsfile | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile @@ -8,7 +8,7 @@ pipeline { // 👇 Fill these for your setup environment { - GIT_URL = '/var/git/git-server' + GIT_URL = '/var/git/git-server.git' GIT_BRANCH = 'trunk' GIT_CREDENTIALS = '' // Jenkins credentialsId (leave empty for public) REGISTRY = 'docker.it-jaros.com' // e.g. ghcr.io/you or registry.example.com/namespace