Skip to content

[workflow-editor] docs-linker: trim redundant prompt sections#1892

Merged
pelikhan merged 3 commits into
mainfrom
copilot/remove-redundant-docs-section
Jul 23, 2026
Merged

[workflow-editor] docs-linker: trim redundant prompt sections#1892
pelikhan merged 3 commits into
mainfrom
copilot/remove-redundant-docs-section

Conversation

Copilot AI commented Jul 23, 2026

Copy link
Copy Markdown
Contributor

The docs-linker workflow brief repeated docs-site and URL-validation context that was already established in Load State. This change removes that duplicated guidance and keeps the prompt focused on the validated doc index as the single source of truth.

  • Prompt cleanup

    • Removed the standalone ## Docs site section from .github/workflows/docs-linker.md.
    • Kept the workflow brief centered on the prevalidated index loaded in ## Load State.
  • Validation guidance dedup

    • Reduced ## Verify Concept Coverage to the decision rules that affect agent behavior.
    • Preserved the only actionable guardrail: discard any doc_url not present in the validated index.
  • Compiled workflow sync

    • Regenerated .github/workflows/docs-linker.lock.yml so the compiled workflow matches the edited source brief.

Example of the retained rule shape:

## Verify Concept Coverage (Doc Index Check)

- If the matched entry came from a **section anchor**, its `text` field must
  contain at least one word from the identified concept term.
- If the matched entry is a **page-level URL** (no anchor), the page title must
  be topically related to the concept.
- Discard any `doc_url` that does not appear in the validated index.

Copilot AI and others added 2 commits July 23, 2026 11:53
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Copilot AI changed the title [WIP] Remove redundant Docs site section and validation reminders [workflow-editor] docs-linker: trim redundant prompt sections Jul 23, 2026
Copilot AI requested a review from pelikhan July 23, 2026 11:57
@pelikhan
pelikhan marked this pull request as ready for review July 23, 2026 11:57
@pelikhan
pelikhan merged commit 49ffafd into main Jul 23, 2026
@pelikhan
pelikhan deleted the copilot/remove-redundant-docs-section branch July 23, 2026 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[workflow-editor] docs-linker: remove redundant Docs site section and validation reminders

2 participants