@hoffie did you really force-push this PR or is that just due to the fact that you created the ssh key?

due to the fact that you created the ssh key?

Seems to be this. :(

It's mainly a cosmetic thing, but still strange. Does this key include your E-Mail address?

In theory we could create a SSH key on a runner, by connecting to it via SSH, retrieving it and then uploading it as secret.

It's mainly a cosmetic thing, but still strange. Does this key include your E-Mail address?

No. Even if it did, the mail address would only be part of the comment field which isn't transmitted when authenticating.

In theory we could create a SSH key on a runner, by connecting to it via SSH, retrieving it and then uploading it as secret.

This wouldn't help. The association comes from a Github feature -- the user who adds it is recorded. If you were to add the same key, it would be you instead. I'm not exactly happy about that, maybe we are back at the Should-we-have-a-machine-user thought process. :/

Hmm. I mean, we do have @jamulusold. Its password is shared with @gilgongo and maybe @gene96817 (which I don't think) #1985