From db4d6ec9e9f0bc14a587c9fb265a940066c3a815 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sat, 19 Sep 2026 18:36:59 +0000 Subject: [PATCH] chore(ci): drop the dead CONTRIBUTING delete rule in the vscode workflow The rule deletes editors/vscode/.github/CONTRIBUTING.md when a root .github guide is present, and that nested guide does exist on main - intentional, not a duplicate. The rule is dead code (GitHub reads workflows only at the repository root, and this one is nested), but it is a trap for whoever later lifts the workflow up. #7 removed the same rule from the other five nested workflows; this file only had its header comment changed there, which left the rule itself in place. --- editors/vscode/.github/workflows/rhodibot.yml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/editors/vscode/.github/workflows/rhodibot.yml b/editors/vscode/.github/workflows/rhodibot.yml index fde01e0..f906cb8 100644 --- a/editors/vscode/.github/workflows/rhodibot.yml +++ b/editors/vscode/.github/workflows/rhodibot.yml @@ -68,11 +68,6 @@ jobs: fi # --- 3. Delete duplicate format files --- - if [ -f "editors/vscode/.github/CONTRIBUTING.md" ] && [ -f ".github/CONTRIBUTING.md" ]; then - rm editors/vscode/.github/CONTRIBUTING.md - FIXES="$FIXES\n- Deleted duplicate \`editors/vscode/.github/CONTRIBUTING.md\` (keeping root .github guide)" - CHANGED=true - fi if [ -f "README.md" ] && [ -f "README.adoc" ]; then # Only delete README.md if it's a stub (<5 lines)