jenkins: use git switch

Jenkinsfile

@@ -60,7 +60,7 @@ pipeline {
                                             withCredentials([gitUsernamePassword(credentialsId: '3563e7c8-6a79-407c-9681-5d6e6291ba34')]) {
                                                 sh '''
                                                     git fetch origin master
-                                                    git checkout master
+                                                    git switch master
                                                     git add .
                                                     git commit -m "Update repo from CI"
                                                     git push origin master