Change SSH key #2

Merged
paul merged 1 commits from change-ssh-key into main 2026-09-27 20:30:46 +02:00
Collaborator

Delete the one deployed on the (publicly accessible) Coli-Pad, replace with one safely stored on the (encrypted, only accessible to Jakob) JakobsLaptop

Delete the one deployed on the (publicly accessible) Coli-Pad, replace with one safely stored on the (encrypted, only accessible to Jakob) JakobsLaptop
jakob added 1 commit 2026-09-27 19:41:02 +02:00
Change SSH key
Check / Lint Ansible Files (push) Successful in 3m15s
6eff9a41d9
Delete the one deployed on the (publicly accessible) Coli-Pad, replace with one safely stored on the (encrypted, only accessible to Jakob) JakobsLaptop
paul merged commit 6eff9a41d9 into main 2026-09-27 20:30:46 +02:00
paul deleted branch change-ssh-key 2026-09-27 20:30:52 +02:00
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: paul/infrastructure#2