update production

Changes from develop since 2022-07-18T14:45:42+00:00

Deployment Notes

Included Merge Requests

• !317 (merged)
• !305 (merged)

Diff Stat

 .gitlab-ci.yml          |  55 +++++++++--
 ci-tools/update-nixpkgs | 248 ++++++++++++++++++++++++++++++++++++++++++++++++
 ci-tools/with-ssh-agent |  14 +++
 tools/update-nixpkgs    |   3 +
 4 files changed, 314 insertions(+), 6 deletions(-)