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

	Commit message (Expand)	Author	Files	Lines
2020-12-02	Fix build of HTML	EuAndreh	1	-0/+1
2020-12-02	Build and publish TODOs.org file	EuAndreh	1	-0/+5
2020-11-18	Remove default.nix and shell.nix	EuAndreh	1	-6/+0
2020-08-14	Add ./tmp to .gitignore	EuAndreh	1	-1/+4
2020-08-10	Migration: Remove Ansible and Docker code, move only to NixOS	EuAndreh	1	-7/+1
2020-08-02	.gitignore: Add top-level provision.yaml	EuAndreh	1	-0/+3
2019-06-10	Output all generated files on ./generated/, refactor .envrc variables	EuAndreh	1	-10/+0
2019-06-10	Ignore /logs.txt	EuAndreh	1	-1/+1
2019-06-10	Send logs via email after finishing provision.sh	EuAndreh	1	-1/+4
2019-06-09	Don't use terraform-full derivation	EuAndreh	1	-0/+1
2019-06-08	Generate UserKnownHostsFile dynamically instead of when rotating keys	EuAndreh	1	-1/+2
2019-06-05	Restore backup in Ansible instead of Bash	EuAndreh	1	-1/+3
2019-06-05	Use Ansible instead of Bash for provisioning	EuAndreh	1	-1/+7
2019-05-25	Add /result to .gitignore	EuAndreh	1	-1/+4
2019-05-25	Add .terraform to .gitignore	EuAndreh	1	-0/+2