diff --git a/db/posts/8.json b/db/posts/8.json
index a28f529..c3223fc 100644
--- a/db/posts/8.json
+++ b/db/posts/8.json
@@ -8,6 +8,7 @@
   "slugs": [
   ],
   "source": "/home/nathan/Projects/Blog/projects/Idris/src/TipsAndTricks/ProofSearchAndNonEquality.md",
+  "source-code": "https://git.stranger.systems/thatonelutenist/website/src/branch/trunk/projects/Idris/src/TipsAndTricks/ProofSearchAndNonEquality.md",
   "special": false,
   "tags": [
     "idris",