Should public SSH key used by 'jenkins-agent' user be added to 'ssh_keys' section in 'common.yaml'?

[gavanderhoorn]

Currently only the public key for the root user is added in the ssh_keys section of common.yaml. This allows passwordless logins over SSH to all hosts in a buildfarm (master, repo and slaves).

The comment above it is a bit cryptic:

The example public key should be changed but the private key has been deliberately deleted rather than leaked.

The trusty version of this had a second stanza in there for the public key the jenkins-slave user used to connect to the repo host (here).

Does the comment try to convey the fact that the public SSH key for the jenkins-agent user (to be used for logging into the repo host) should be added to the ssh_keys section there as well?

Or should it be added to the repo.yaml file, as this key should be imported on the repo host during deployment?

[gavanderhoorn]

Without adding the public key for the jenkins-agent user I cannot get agents to upload results to the repo host (or at least: I cannot login over SSH to the repo host as the jenkins-agent user).