diff --git a/Jenkinsfile b/Jenkinsfile index 9c0ab17..ae3c08a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -59,7 +59,7 @@ pipeline { dir("fdroid-repo") { withCredentials([gitUsernamePassword(credentialsId: '3563e7c8-6a79-407c-9681-5d6e6291ba34')]) { sh ''' - git fetch origin + git fetch origin master git checkout master git add . git commit -m "Update repo from CI"