Skip to content

Fix review feedback: yamllint config path, agent structure diagram, and UI5 prompt outer fences#336

Merged
data-douser merged 2 commits intodd/copilot-setup/2from
copilot/sub-pr-335
Mar 24, 2026
Merged

Fix review feedback: yamllint config path, agent structure diagram, and UI5 prompt outer fences#336
data-douser merged 2 commits intodd/copilot-setup/2from
copilot/sub-pr-335

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 24, 2026

Addresses review comments from PR #335.

What This PR Contributes

  • yamllint command accuracy — Updated invocations in github-maintenance-agent.md and github_maintenance.prompt.md to explicitly pass -c .github/.yamllint, since yamllint does not auto-discover configs outside the CWD:
    # Before
    yamllint .github/workflows/*.yml
    # After
    yamllint -c .github/.yamllint .github/workflows/*.yml
  • Agent structure diagram — Replaced hardcoded (stale/incorrect) agent filenames in github-maintenance-agent.md with a wildcard entry to avoid drift:
    │   └── *.md                      # Individual agent definition files
    
  • UI5 prompt file Markdown fix — Removed outer ```prompt / ``` fences from all three UI5 prompt files (ui5_framework_codeql_dev.prompt.md, ui5_framework_codeql_lib.prompt.md, ui5_framework_codeql_test.prompt.md). The outer fence was prematurely closed by inner triple-backtick code blocks, breaking Markdown rendering.

Future Works


📱 Kick off Copilot coding agent tasks wherever you are with GitHub Mobile, available on iOS and Android.

Copilot AI changed the title [WIP] Setup .github/** for Copilot (for CodeQL) Fix review feedback: yamllint config path, agent structure diagram, and UI5 prompt outer fences Mar 24, 2026
Copilot AI requested a review from data-douser March 24, 2026 17:26
@data-douser data-douser marked this pull request as ready for review March 24, 2026 17:34
@data-douser data-douser merged commit a534609 into dd/copilot-setup/2 Mar 24, 2026
@data-douser data-douser deleted the copilot/sub-pr-335 branch March 24, 2026 17:35
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.

2 participants