From 90e42c3f16602d13602d0d72ec2b26f98f74781a Mon Sep 17 00:00:00 2001
From: Christian Heinrich <christian.heinrich@cmlh.id.au>
Date: Sat, 2 Dec 2023 10:12:37 +1030
Subject: [PATCH] Insert GitHub User

---
 discovery.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/discovery.md b/discovery.md
index 188b6fd..2fc7f1b 100644
--- a/discovery.md
+++ b/discovery.md
@@ -1,4 +1,8 @@
 Discovery
 =========
 
-...to be written
+# GitHub
+
+Their GPG Public Key is returned by appending `.gpg` to their GitHub User URL i.e. https://github.com/${user}.gpg
+
+For example, https://github.com/cmlh.gpg returns the GPG Public Key of GitHub account `cmlh`