Update files from notes

[rbdr/r.bdr.sh] / index.gmi

diff --git a/index.gmi b/index.gmi
index c812a50ca21fa8adbaa2e7fdbb402b29ea5ceb55..b6f380232efd0797e14bdd77d8887a6a6ae707a3 100644 (file)
--- a/index.gmi
+++ b/index.gmi
@@ -16,16 +16,13 @@
 I am Rubén Beltrán del Río. I make software and am online. You can find all my things here, on the internet.
 
 => /gemlog/ ⛄︎ blog
+=> https://friendship.quest/@ruben ☹︎ social media
+
 => /.plan ⚐ .plan
 => /learning.txt ☝︎ learning.txt
-=> gemini://r.bdr.sh/guestbook ✍︎ guestbook
 
-=> https://friendship.quest/@ruben ☹︎ social media
-=> https://links.srv.bdr.sh/bookmarks/shared ♡ bookmarks
-
-=> mailto:contact@r.bdr.sh ✉︎ e-mail
-=> /pub.txt ✶ gpg key
-=> /messages_key.txt ✷ contact key
+=> ./contact.gmi ✶ contact me
+=> gemini://r.bdr.sh/guestbook ✍︎ guestbook
 
 ## Code
 
@@ -43,6 +40,14 @@ All my git repositories are also hosted here in gemini[1] and http[2] browsable
 => https://git.r.bdr.sh [2] ⧇ git @ http
 => https://git.sr.ht/~rbdr [3] ⧉ sourcehut mirror
 
+### Minisign
+
+You can verify builds using minisign and the following public key:
+
+```
+RWQSZS35nwHbOBieKuYau5mtQsm8gz47idvmoV0M99CGtL+D5sCcOy0k
+```
+
 ## Art
 
 I write and record music[1], and take pictures[2] (nowadays mostly with 35mm film.)