From 6438971c8cb6536a54e4867fb5b597a85efb7de8 Mon Sep 17 00:00:00 2001
From: colin <colin@uninsane.org>
Date: Fri, 13 Jan 2023 05:56:51 +0000
Subject: [PATCH] ssh keys: add github.com's pubkey

---
 modules/data/keys.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/modules/data/keys.nix b/modules/data/keys.nix
index be0db164..e0ef22b8 100644
--- a/modules/data/keys.nix
+++ b/modules/data/keys.nix
@@ -21,4 +21,10 @@
       servo.root = root;
     };
   };
+
+  com.github = rec {
+    # documented here: <https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/githubs-ssh-key-fingerprints>
+    # Github actually uses multiple keys -- one per format
+    root = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIOMqqnkVzrm0SdG6UOoqKLsabgH5C9okWi0dh2l9GKJl";
+  };
 }