q3k 0ec06d7b75 ops: update deploy instructions to include profile set ... This is necessary for the NixOS EFI boot machinery to pick up the new derivation when switching to it, otherwise the machine will not boot into the newly switched configuration. Change-Id: I8b18956d2afeea09c38462f09a00c345cf86f80d		2021-04-18 18:13:33 +00:00
..
monitoring	ops/monitoring: move grafana to sso.	2021-01-30 17:26:47 +01:00
sso/kube	ops/sso: upgrade sso-v2	2021-02-01 17:03:27 +01:00
machines.nix	ops: update deploy instructions to include profile set	2021-04-18 18:13:33 +00:00