From f92053ffe49b33ccd4531b08dd8b622aa08584ee Mon Sep 17 00:00:00 2001
From: 12ww1160 <arne_teuke@confdroid.com>
Date: Sun, 14 Dec 2025 15:04:39 +0100
Subject: [PATCH] add TOC

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0930557..a4b1133 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -95,6 +95,7 @@ pipeline {
               sshagent(['edd05eb6-26b5-4c7b-a5cc-ea2ab899f4fa']) {
                 sh '''
                   git remote set-url --push master git@github.com:grizzlycoda/puppet_collection.git
+                  git push master --mirror
                 '''
         }
       }