autopushed

2026-08-09 07:56:19 +00:00 · 2022-08-20 18:59:53 +02:00
parent 63edbd41cd
commit 6083420856
1 changed files with 1 additions and 0 deletions
@@ -209,6 +209,7 @@ The blocks that follow, and others in the current text in the same [[console typ
      - If you are a member of an Agora, you can propose extensions to Agora Protocol by contributing to [[Agora RFCs]].
      - This should be sufficient to bootstrap a [[governance layer]] defined by each [[Agora]].
      - #pull [[agora rfcs]]
+        - (Pull instructs a parsing Agora to incorporate a remote context into the current context, e.g. [[transclude]].)

 ## Data format