diff --git a/Jenkinsfile b/Jenkinsfile
index 7520e8e..b24c6ea 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -126,6 +126,7 @@ pipeline {
                       git -c credential.helper="!f() { echo username=${GITEA_USER}; echo password=${GITEA_TOKEN}; }; f" \
                       push master --mirror
                       '''
+            }
           }
         }
       }