autopushed

This commit is contained in:
2022-11-26 21:13:31 +01:00
parent ef7ffc1c8b
commit a39dfbcd6b
2 changed files with 7 additions and 0 deletions
+2
View File
@@ -7,6 +7,8 @@
- [[agora server]]
- It wasn't clear what the right way to implement the above; for now I'm going the [[push]] path, as that's one place where costly stuff gets calculated.
- [[social coop]]
- [[edsu]]
- [[protean]]
- [[twg]]
- [[hypha]]
- [[flancia]]
+5
View File
@@ -0,0 +1,5 @@
- a [[person]].
- [[friend]].
- [[social coop]]
- [[tech working croup]]
- he has done *a lot* for the community.