From f0b28d994b10c4060f6a46ccf04c0806be9afe11 Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Thu, 31 Dec 2020 01:28:51 +0100
Subject: [PATCH] Auto: misc.

---
 pull.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pull.md b/pull.md
index ce4c10f20..6441239ee 100644
--- a/pull.md
+++ b/pull.md
@@ -6,14 +6,15 @@
 - Pulling means that the target nodes show up after the node you are visiting; and said nodes show in the [[pulled]] [[links]] section.
 - [[push]] doesn't exist yet, but might soon. It'll be close to its inverse.
   - Pull and push might be seen as simple versions of [[transclusion]] and [[broadcast]] respectively.
-- Note that in the context of a social network like the [[Agora]] "pull requests" to a node might be related to [[ranking]].
+- Note that in the context of a social network like the [[Agora]] "pull requests" to a node can be made to influence [[ranking]] and might help when trying to determine [[canonical forms]].
 
 
 [//begin]: # "Autogenerated link references for markdown compatibility"
 [action]: action "Action"
 [pull]: pull "Pull"
-[pulled links]: pulled-links "Pulled Links"
 [pulled nodes]: pulled-nodes "Pulled Nodes"
+[pulled]: pulled "Pulled"
+[links]: links "Links"
 [push]: push "Push"
 [transclusion]: transclusion "Transclusion"
 [broadcast]: broadcast "Broadcast"