2026-09-25 - 2026-10-25
Overview
6 Pull requests merged by 2 users
Merged
#15 fix(auth): the wiki-index BasicAuth credentials read the API again
Merged
#14 feat(auth): humans sign in with OIDC; no header names a user
Merged
#13 feat(facts): pictures as part of a statement, kept next to the raw source
Merged
#12 feat(facts): one text box; the drafter turns a statement into a raw source
Merged
#11 feat(ui): Facts page deposits a raw source under the signed-in user
Merged
#10 fix(ask): judge every question in one request
1 Pull request proposed by 1 user
Proposed
#16 docs: house encyclopedia design