diff --git a/Jenkinsfile b/Jenkinsfile
index ca8b37fd..109c43f5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -219,6 +219,7 @@ pipeline {
       steps {
         withCredentials([
           usernamePassword(credentialsId: 'harbor-credentials', usernameVariable: 'HARBOR_USERNAME', passwordVariable: 'HARBOR_PASSWORD'),
+          string(credentialsId: 'dev-server-user', variable: 'DEV_SERVER_USER'),
           string(credentialsId: 'dev-server-host', variable: 'DEV_SERVER_HOST'),
           sshUserPrivateKey(
             credentialsId: 'dev-server-ssh',
@@ -230,7 +231,7 @@ pipeline {
             def remote = [
               name: 'dev-server',
               host: env.DEV_SERVER_HOST,
-              user: env.DEV_SERVER_SSH_USER,
+              user: env.DEV_SERVER_USER ?: env.DEV_SERVER_SSH_USER,
               identityFile: env.DEV_SERVER_KEY,
               allowAnyHosts: true
             ]