Merge build 40 into master

Jenkinsfile

@@ -107,6 +107,7 @@ pipeline {
     }
       stage('Mirror to Gitea') {
         steps {
+          sshagent(['edd05eb6-26b5-4c7b-a5cc-ea2ab899f4fa']) {
             withCredentials([usernamePassword(
               credentialsId: 'Jenkins-gitea',
               usernameVariable: 'GITEA_USER',
@@ -127,4 +128,5 @@ pipeline {
         }
       }
     }
+  }
 }