Ghost User requested to merge develop into production Dec 11, 2023

Changes from develop since 2023-12-04T16:39:17+00:00

Deployment Notes

Included Merge Requests

!436 (merged)

Diff Stat

 morph/grid/hro-cloud/public-keys/deploy_key.pub |  2 +-
 morph/grid/hro-cloud/public-keys/users.nix      | 18 +++++++++++-------
 2 files changed, 12 insertions(+), 8 deletions(-)