Skip to content

fix: correct .github directory name in AGENTS.md#4035

Merged
mpivchev merged 10 commits intomasterfrom
copilot/sub-pr-4029-again
Mar 17, 2026
Merged

fix: correct .github directory name in AGENTS.md#4035
mpivchev merged 10 commits intomasterfrom
copilot/sub-pr-4029-again

Conversation

Copy link
Contributor

Copilot AI commented Mar 16, 2026

The .github directory entry in the project structure table was incorrectly written as ./github.

Change

  • ./github.github in the Agent Handling Guidelines table

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

mpivchev and others added 8 commits March 12, 2026 15:57
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
Signed-off-by: Copilot <copilot@github.com>

Co-authored-by: mpivchev <6960329+mpivchev@users.noreply.github.com>
Copilot AI changed the title [WIP] [WIP] Address feedback on 'Add an AGENTS.md' PR fix: correct .github directory name in AGENTS.md Mar 16, 2026
Copilot AI requested a review from mpivchev March 16, 2026 12:06
Base automatically changed from agents-md to master March 17, 2026 11:27
@mpivchev mpivchev marked this pull request as ready for review March 17, 2026 11:27
Signed-off-by: Milen Pivchev <milen.pivchev@gmail.com>
@mpivchev mpivchev merged commit e8a5a71 into master Mar 17, 2026
3 checks passed
@mpivchev mpivchev deleted the copilot/sub-pr-4029-again branch March 17, 2026 11:29
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