On August 30, 2020 8:46:16 PM GMT+02:00, Sven-Hendrik Haase via arch-devops arch-devops@lists.archlinux.org wrote:

On 30.08.20 20:10, Sébastien Luttringer via arch-devops wrote:

...

Hello,

I would like to update my SSH pub keys on servers. What's the best

way

...

to request that ? An issue in the infra project? A merge request?

Regards,

Sébastien "Seblu" Luttringer

Make a merge request for this file: https://gitlab.archlinux.org/archlinux/infrastructure/-/blob/master/pubkeys/...

Note that it would be helpful to sign the commit with you pgp key :-)

On Sun, 2020-08-30 at 20:46 +0200, Sven-Hendrik Haase via arch-devops wrote:

On 30.08.20 20:10, Sébastien Luttringer via arch-devops wrote:

...

Hello,

I would like to update my SSH pub keys on servers. What's the best way to request that ? An issue in the infra project? A merge request?

Regards,

Sébastien "Seblu" Luttringer

Make a merge request for this file: https://gitlab.archlinux.org/archlinux/infrastructure/- /blob/master/pubkeys/seblu.pub

Hello,

I notice the file (~seblu/.ssh/authorized_keys) is still the old one on gemini. Not 100% sure, but I remember it was updated. Is there some ansible deploy pushed with outdated config?

Sébastien "Seblu" Luttringer

On 11/11/2020 17:28, Sébastien Luttringer via arch-devops wrote:

On Mon, 2020-11-09 at 10:40 +0100, Sébastien Luttringer wrote

...

I notice the file (~seblu/.ssh/authorized_keys) is still the old one on gemini. Not 100% sure, but I remember it was updated. Is there some ansible deploy pushed with outdated config?

Hello,

File is now back to what is was. Thanks to the one who fixed it quietly.

Yeah sorry, I re-ran the role but forgot to inform you :)

Greetings,

Jelle