Be nerdy and link my GPG key

vEnhance · Apr 20, 2022 · 291352a · 291352a
1 parent 059b20b
commit 291352a
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/input/index.mkd b/input/index.mkd
@@ -63,3 +63,11 @@ which was published in 2016.
 
 Outside of math and teaching, Evan's hobbies include
 Korean pop dance, [Arch Linux, Hanabi and puzzle hunts](personal.html).
+
+Linux geeks can download my [GPG key][gpg]
+from [keyserver.ubuntu.com][ubuntu-key]
+or [keys.opengpg.org][opengpg-key].
+
+[ubuntu-key]: http://keyserver.ubuntu.com/pks/lookup?op=get&search=0x2911981b5d39118d80d782779474e9565d64c443
+[opengpg-key]: https://keys.openpgp.org/vks/v1/by-fingerprint/2911981B5D39118D80D782779474E9565D64C443
+[gpg]: upload/2911981B5D39118D80D782779474E9565D64C443.asc