Fix jenkins ssh credential id 38/11538/1
authorAndrew Grimberg <agrimberg@linuxfoundation.org>
Sat, 23 Jun 2018 00:44:20 +0000 (17:44 -0700)
committerAndrew Grimberg <agrimberg@linuxfoundation.org>
Sat, 23 Jun 2018 00:44:20 +0000 (17:44 -0700)
commitae3f8929c3f9adf3c6d6afdbb874c2bfc9a65ecf
tree7b0a0c6f04aae29c92c2d4439afc9142b3dde80b
parente48f02ea912c379c093f44ddadfc0e2436bc7842
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>
docs/infra/bootstrap.rst