server - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Files	Lines
2020-08-10	Remove unused secrets/{borg,ssh}/	EuAndreh	2	-0/+0
2020-08-10	Migration: Remove Ansible and Docker code, move only to NixOS	EuAndreh	4	-0/+0
2019-06-08	Generate UserKnownHostsFile dynamically instead of when rotating keys	EuAndreh	1	-0/+0
2019-06-05	Script: rotate SSH keys	EuAndreh	5	-0/+0
2019-06-05	Script: rotate SSH keys	EuAndreh	5	-0/+0
2019-06-05	Script: rotate SSH keys	EuAndreh	5	-0/+0
2019-06-05	Fix git-crypt configuration	EuAndreh	5	-0/+0
2019-06-05	Use known-hosts.txt with public key from the rotated SSH key pair	EuAndreh	1	-0/+1
2019-06-05	Use Ansible instead of Bash for provisioning	EuAndreh	5	-0/+100