From 9a87545720129490c6399317b1f10b2ea0c6e9c4 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Sat, 19 Sep 2026 18:41:54 +0000
Subject: [PATCH] chore(governance): resolve the template tokens that have a
 factual answer

These files shipped as the raw template, tokens and all. The tokens that name a
fact the repository itself answers - project name, owner, forge, description -
are filled here. The tokens that name a decision (contact addresses, PGP key,
response time) are left exactly as they are and listed in the PR.
---
 .github/settings.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/settings.yml b/.github/settings.yml
index b709009..9c6bbd3 100644
--- a/.github/settings.yml
+++ b/.github/settings.yml
@@ -7,13 +7,13 @@
 # applied by the probot/settings app when changes are pushed to the default
 # branch. Install the app at: https://github.com/apps/settings
 #
-# Template file — replace systemet and {{DESCRIPTION}} with actual values.
+# Template file — replace systemet and systemet is a stratified type theory. The name is system + ET, where ET stands for Equality Theory — because the one primitive relation the whole system keeps at the bottom is equality, and everything else is layered above it as discipline rather than added as new relations. with actual values.
 
 # ─── Repository Settings ───────────────────────────────────────────────────────
 
 repository:
   name: "systemet"
-  description: "{{DESCRIPTION}}"
+  description: "systemet is a stratified type theory. The name is system + ET, where ET stands for Equality Theory — because the one primitive relation the whole system keeps at the bottom is equality, and everything else is layered above it as discipline rather than added as new relations."
   homepage: "https://github.com/hyperpolymath/systemet"
   private: false
   has_issues: true