From 5202bd98be744a6b19db601162a66df0ab712606 Mon Sep 17 00:00:00 2001 From: Jason Dekarske Date: Sat, 26 Sep 2026 10:19:52 -0700 Subject: [PATCH] chore: pmboard runtime cleanup (pm-board R17, R15) Delete tracked stale runtime marker: .pm/gitea-url (config now lives in .pm/board.yaml). Add top-level gitea_url key to .pm/board.yaml (from the old marker value). Add .gitignore block for .pm runner output and legacy runtime files (never tracked). Implements pm-board R17 (no state files; config-only board) and R15 (gitea_url/site_url links). --- .gitignore | 7 +++++++ .pm/board.yaml | 1 + .pm/gitea-url | 1 - 3 files changed, 8 insertions(+), 1 deletion(-) delete mode 100644 .pm/gitea-url diff --git a/.gitignore b/.gitignore index 7a60b85..71b7809 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,9 @@ __pycache__/ *.pyc + +# pm-board runner output and legacy runtime files (never tracked) +.pm/runs.jsonl +.pm/address-state.json +.pm/address-history.jsonl +.pm/feedback-state.json +.pm/outbox.md diff --git a/.pm/board.yaml b/.pm/board.yaml index c1f2fe2..ac4d51f 100644 --- a/.pm/board.yaml +++ b/.pm/board.yaml @@ -1,3 +1,4 @@ +gitea_url: "https://git.jajahome.duckdns.org/omp/rsi" requirements: - id: R1 title: Jev research summary diff --git a/.pm/gitea-url b/.pm/gitea-url deleted file mode 100644 index 0050252..0000000 --- a/.pm/gitea-url +++ /dev/null @@ -1 +0,0 @@ -https://git.jajahome.duckdns.org/omp/rsi \ No newline at end of file