jenkins: add git fetch

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