1{
 2  flake.modules.homeManager.dev = _: {
 3    programs.ssh = {
 4      enable = true;
 5      enableDefaultConfig = false;
 6
 7      matchBlocks = {
 8        "*".addKeysToAgent = "yes";
 9        "github.com" = {
10          # "Using SSH over the HTTPS port for GitHub"
11          # "(port 22 is banned by some proxies / firewalls)"
12          hostname = "ssh.github.com";
13          port = 443;
14          user = "git";
15
16          # Specifies that ssh should only use the identity file explicitly configured above
17          # required to prevent sending default identity files first.
18          identitiesOnly = true;
19        };
20      };
21    };
22  };
23}