OP#618 add ssh-agent to last stage

Jenkinsfile

@@ -126,6 +126,7 @@ pipeline {
                       git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \
                       push master --mirror
                       '''
+            }
           }
         }
       }