From 886ac230edee50e90fd49f22c672707a261b3c05 Mon Sep 17 00:00:00 2001
From: David Thompson <davthomp@redhat.com>
Date: Fri, 8 May 2026 16:07:01 -0400
Subject: [PATCH] Fix ssh credentials for publishing prerelease

Signed-off-by: David Thompson <davthomp@redhat.com>
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d205898c..d21fe629 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -92,7 +92,7 @@ pipeline {
 				}
 			}
 			steps {
-				sshagent (credentials: ['ssh://genie.ls@projects-storage.eclipse.org']) {
+				sshagent (credentials: ['projects-storage.eclipse.org-bot-ssh']) {
 					sh """#!/bin/bash -x
 						# Clean previous builds
 						DOWNLOAD_AREA=/home/data/httpd/download.eclipse.org/jdtls/jdt-javac/snapshots