Hi,
I wanted to know if it's possible to use a Deploy key instead of requiring a user's ssh key. We use a Jenkins job to release the plugin, this requires us to upload a ssh key to our Jenkins server.
A deploy key would be great as it isn't tied to an individual user. It would be ideal if myself and the backup maintainer could be admins on the repo so we could create and rotate deploy keys as necessary. If that's not possible, could you provide us with a deploy key?