profiles/core/dei: add desktop ssh public key (!84) · Merge requests · RNL / Nix RNL · GitLab

The source project of this merge request has been removed.

Lucas Pinto requested to merge (removed):lucas-desktop-ssh-public-key into master Mar 13, 2024

Description of changes

Add Lucas's DEI desktop ssh public key

Things done

Tested
Updated documentation (Wiki/NetBox)
Breaking change