[arch-devops] Update requests
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
On 30.08.20 20:10, Sébastien Luttringer via arch-devops wrote:
Make a merge request for this file: https://gitlab.archlinux.org/archlinux/infrastructure/-/blob/master/pubkeys/...
On August 30, 2020 8:46:16 PM GMT+02:00, Sven-Hendrik Haase via arch-devops <arch-devops@lists.archlinux.org> wrote:
Note that it would be helpful to sign the commit with you pgp key :-)
Em agosto 30, 2020 15:48 Levente Polyak via arch-devops escreveu:
Note that it would be helpful to sign the commit with you pgp key :-)
I think we should force only signed commits on the infra repo, if it's not already. Regards, Giancarlo Razzolini
On Sun, 2020-08-30 at 20:46 +0200, Sven-Hendrik Haase via arch-devops wrote:
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 Mon, 2020-11-09 at 10:40 +0100, Sébastien Luttringer wrote
Hello, File is now back to what is was. Thanks to the one who fixed it quietly. Regards, Sébastien "Seblu" Luttringer
On 11/11/2020 17:28, Sébastien Luttringer via arch-devops wrote:
Yeah sorry, I re-ran the role but forgot to inform you :) Greetings, Jelle
participants (5)
-
Giancarlo Razzolini
-
Jelle van der Waa
-
Levente Polyak
-
Sven-Hendrik Haase
-
Sébastien Luttringer