diff --git a/Jenkinsfile b/Jenkinsfile index e459d44..c7509f9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -58,7 +58,8 @@ pipeline { steps { dir("fdroid-repo") { sh ''' - git switch master + git fetch origin + git cehckout master git add . git commit -m "Update repo from CI" git push origin master