Add wiki to local repo

.gitignore

@@ -1,10 +1,8 @@
-node_modules/
+/data/projects/*.json
-dist/
+/data/projects/*.tmp
+/data/textures/
+/dist/
+/node_modules/
+/logs/
+/wiki/
 /index.html
-data/projects/*.json
-data/projects/*.tmp
-# Uploaded images are user data like the projects: content-addressed, written by the API,
-# reproducible only by uploading them again.
-data/textures/
-logs/
-.DS_Store

check.sh

@@ -1,8 +1,4 @@
 #!/bin/bash
-# The full gate, ending in a line that survives a pipe: "=== CHECK EXIT n ===".
-# `npm run check | tail -20` reports tail's exit code, not npm's, so a red run reads as green –
-# and `set -o pipefail` in here does not help, it only covers pipes inside this script (measured).
-# Reading the closing line does.
 
 set -o pipefail
 npm run check

pull-wiki.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+git -C wiki pull --ff-only