github / github/copilot-cli

Instruction file named `skill-instructions.instructions.md` is silently ignored

オープン
#2,784 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る
area:configuration area:plugins
主要言語
Shell
スター
11.2k
フォーク
1.9k
平均マージ
14時間 16分
マージ済み PR(30日)
6

説明

### Bug

`.github/instructions/skill-instructions.instructions.md` is silently dropped — never appears in the model's system prompt, no warning, no log. Rename to literally anything else (e.g. `skill-table.instructions.md`) with identical content and frontmatter → loads correctly.

Likely collides with the `SKILLS_INSTRUCTIONS` feature flag visible in `~/.copilot/logs/`. If that filename is reserved internally, at minimum emit a warning instead of silently swallowing user files.

### Why I care

I only needed this file in the first place because the CLI truncates the `` list (see #2314, #1130, #2416) — I have 45 skills, only ~31 show up, and the budget is a hardcoded tiny character cap. Meanwhile MCP tool schemas dump 10–100× more tokens into the same system prompt with no cap at all. It's a completely arbitrary penalty on skills.

So the workflow people are forced into — "auto-generate a skill registry file because the CLI won't load my skills properly" — is exactly the workflow that this silent filename filter breaks.

### Fix (any of)

1. Don't reserve user-space filenames; rename the internal feature.
2. Warn visibly when a matching file is found and skipped.
3. Document the reserved names.

### Affected version

1.0.30

コントリビューションガイド

コントリビューションガイドを開く

調査の方向性

Start by reproducing with `.github/instructions/skill-instructions.instructions.md`, then compare it with the same content under `skill-table.instructions.md`; inspect `~/.copilot/logs/` for evidence of the `SKILLS_INSTRUCTIONS` collision. Done means the reserved-name behavior is removed or a visible warning is emitted when the file is skipped, with the renamed and original files behaving as documented.

索引モデルが issue の本文から書いたものです。

評価

技術スタック
shell
領域
cli
issue の種類
バグ
難易度
3/5
見積もり時間
1〜2日
活発さ
静か
明瞭さ
おおむね明確
初心者へのやさしさ
58/100

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。