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