update production

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(-)