4b73d3c444
When only cloning public repos, or when the ssh key is provided by different means, we don't need to manage it here.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.