jobs/gerrit-lint: add ssh credentials

Prepare for having jenkins post gerrit review comments.

Change-Id: I27477c6c448a4b06ea49b020b6cfa534445cf31c
This commit is contained in:
Oliver Smith 2022-09-08 16:42:18 +02:00
parent d708401440
commit ffbf40c791
1 changed files with 4 additions and 0 deletions

View File

@ -165,5 +165,9 @@
wrappers:
- ansicolor:
colormap: xterm
wrappers:
- ssh-agent-credentials:
users:
- d5eda5e9-b59d-44ba-88d2-43473cb6e42d
# vim: expandtab tabstop=2 shiftwidth=2