From fb1596cf94a4db521dd002cc28dbd6bfa1355dd8 Mon Sep 17 00:00:00 2001 From: jokob-sk Date: Mon, 12 Oct 2026 09:42:55 +1100 Subject: [PATCH] BE+DOCS: skills + less verbose logging #1840 --- .claude/skills/skill-hygiene/SKILL.md | 2 +- .gemini/skills/skill-hygiene/SKILL.md | 2 +- .github/skills/skill-hygiene/SKILL.md | 2 +- server/workflows/manager.py | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.claude/skills/skill-hygiene/SKILL.md b/.claude/skills/skill-hygiene/SKILL.md index 1ec1e921f..0fe8617c1 100644 --- a/.claude/skills/skill-hygiene/SKILL.md +++ b/.claude/skills/skill-hygiene/SKILL.md @@ -57,4 +57,4 @@ This does not apply to PRDs (`.gemini/internal-docs/PRDs/`) — those keep their ## Keep the three trees in sync -Most skills exist as three near-identical copies (`.claude/skills//SKILL.md`, `.gemini/skills//SKILL.md`, `.github/skills//SKILL.md` — see `.gemini/skills/skills-index/SKILL.md` for the pairing map). When a hygiene fix changes a skill's body, apply the same fix to all paired copies so they stay identical (frontmatter `name`/`description` may differ per tree's own convention; the body should not). `scripts/check_skill_pairs.py`'s `GROUPS` list only flags when some-but-not-all paired files changed in a diff — it doesn't check the bodies actually match, so a manual diff after editing is still worth it. +Most skills exist as three near-identical copies (`.claude/skills//SKILL.md`, `.gemini/skills//SKILL.md`, `.github/skills//SKILL.md` - see `.gemini/skills/skills-index/SKILL.md` for the pairing map). When a hygiene fix changes a skill's body, apply the same fix to all paired copies so they stay identical (frontmatter `name`/`description` may differ per tree's own convention; the body should not). `scripts/check_skill_pairs.py` checks both: it flags a diff that touched some but not all of a group's paired files, and - for the groups the skills index documents as covering identical content - it also diffs the bodies directly and flags when they've actually drifted apart. The CI step calling it is non-blocking, so a manual diff after editing is still worth doing yourself. diff --git a/.gemini/skills/skill-hygiene/SKILL.md b/.gemini/skills/skill-hygiene/SKILL.md index 1ec1e921f..0fe8617c1 100644 --- a/.gemini/skills/skill-hygiene/SKILL.md +++ b/.gemini/skills/skill-hygiene/SKILL.md @@ -57,4 +57,4 @@ This does not apply to PRDs (`.gemini/internal-docs/PRDs/`) — those keep their ## Keep the three trees in sync -Most skills exist as three near-identical copies (`.claude/skills//SKILL.md`, `.gemini/skills//SKILL.md`, `.github/skills//SKILL.md` — see `.gemini/skills/skills-index/SKILL.md` for the pairing map). When a hygiene fix changes a skill's body, apply the same fix to all paired copies so they stay identical (frontmatter `name`/`description` may differ per tree's own convention; the body should not). `scripts/check_skill_pairs.py`'s `GROUPS` list only flags when some-but-not-all paired files changed in a diff — it doesn't check the bodies actually match, so a manual diff after editing is still worth it. +Most skills exist as three near-identical copies (`.claude/skills//SKILL.md`, `.gemini/skills//SKILL.md`, `.github/skills//SKILL.md` - see `.gemini/skills/skills-index/SKILL.md` for the pairing map). When a hygiene fix changes a skill's body, apply the same fix to all paired copies so they stay identical (frontmatter `name`/`description` may differ per tree's own convention; the body should not). `scripts/check_skill_pairs.py` checks both: it flags a diff that touched some but not all of a group's paired files, and - for the groups the skills index documents as covering identical content - it also diffs the bodies directly and flags when they've actually drifted apart. The CI step calling it is non-blocking, so a manual diff after editing is still worth doing yourself. diff --git a/.github/skills/skill-hygiene/SKILL.md b/.github/skills/skill-hygiene/SKILL.md index 65ac23dc7..6aa756d45 100644 --- a/.github/skills/skill-hygiene/SKILL.md +++ b/.github/skills/skill-hygiene/SKILL.md @@ -57,4 +57,4 @@ This does not apply to PRDs (`.gemini/internal-docs/PRDs/`) — those keep their ## Keep the three trees in sync -Most skills exist as three near-identical copies (`.claude/skills//SKILL.md`, `.gemini/skills//SKILL.md`, `.github/skills//SKILL.md` — see `.gemini/skills/skills-index/SKILL.md` for the pairing map). When a hygiene fix changes a skill's body, apply the same fix to all paired copies so they stay identical (frontmatter `name`/`description` may differ per tree's own convention; the body should not). `scripts/check_skill_pairs.py`'s `GROUPS` list only flags when some-but-not-all paired files changed in a diff — it doesn't check the bodies actually match, so a manual diff after editing is still worth it. +Most skills exist as three near-identical copies (`.claude/skills//SKILL.md`, `.gemini/skills//SKILL.md`, `.github/skills//SKILL.md` - see `.gemini/skills/skills-index/SKILL.md` for the pairing map). When a hygiene fix changes a skill's body, apply the same fix to all paired copies so they stay identical (frontmatter `name`/`description` may differ per tree's own convention; the body should not). `scripts/check_skill_pairs.py` checks both: it flags a diff that touched some but not all of a group's paired files, and - for the groups the skills index documents as covering identical content - it also diffs the bodies directly and flags when they've actually drifted apart. The CI step calling it is non-blocking, so a manual diff after editing is still worth doing yourself. diff --git a/server/workflows/manager.py b/server/workflows/manager.py index df094c1a2..3c28994e3 100755 --- a/server/workflows/manager.py +++ b/server/workflows/manager.py @@ -79,7 +79,7 @@ class WorkflowManager: result = get_unprocessed(self.db) - mylog("none", [f"[WF] get_new_app_events - new events count: {len(result)}"]) + mylog("debug", [f"[WF] get_new_app_events - new events count: {len(result)}"]) return result