Fix jenkins ssh credential id

The scripts, per the documentation, all expect that the Jenkins SSH
credential will have an ID of jenkins-ssh. Make sure it is actually
recorded that way.

Change-Id: I986c3094a0907ae08d988c6f2a37d83c3a620bcc
Signed-off-by: Andrew Grimberg <agrimberg@linuxfoundation.org>

diff --git a/docs/infra/bootstrap.rst b/docs/infra/bootstrap.rst
index eebfe27..68ed085 100644 (file)
--- a/docs/infra/bootstrap.rst
+++ b/docs/infra/bootstrap.rst
@@ -211,7 +211,7 @@ Bootstrap common-packer and initial builder
          Username: jenkins
          Private Key: Enter directly
          Passphrase:
-         ID: jenkins
+         ID: jenkins-ssh
          Description: jenkins-ssh
 
       Copy the contents of ``/tmp/jenkins`` into the Key field.