Skip to content

Add .github/copilot-instructions.md for Copilot coding agent#140

Merged
bartelink merged 3 commits intomasterfrom
copilot/remove-placeholder-instructions
Mar 26, 2026
Merged

Add .github/copilot-instructions.md for Copilot coding agent#140
bartelink merged 3 commits intomasterfrom
copilot/remove-placeholder-instructions

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 26, 2026

Set up Copilot coding agent instructions per best practices.

  • Retained root AGENTS.md (verified all file references and claims against current codebase)
  • Added .github/copilot-instructions.md covering project structure, build/test commands, F# coding conventions, API symmetry/wire-compatibility guardrails, Newtonsoft vs STJ behavioral differences, and testing practices

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

@CLAassistant
Copy link
Copy Markdown

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

Copilot AI changed the title [WIP] Remove placeholder Copilot instructions and agents.md Replace placeholder AGENTS.md with .github/copilot-instructions.md Mar 26, 2026
Copilot AI requested a review from bartelink March 26, 2026 18:28
@bartelink
Copy link
Copy Markdown
Collaborator

@copilot On reflection, please reinstate the AGENTS.md and check it's correct

Agent-Logs-Url: https://github.com/jet/FsCodec/sessions/fae3d729-f031-43e4-9ed0-fac346beab2f

Co-authored-by: bartelink <206668+bartelink@users.noreply.github.com>
Copy link
Copy Markdown
Contributor Author

Copilot AI commented Mar 26, 2026

@copilot On reflection, please reinstate the AGENTS.md and check it's correct

Reinstated AGENTS.md in e3ed79e. Verified all file references and claims (SDK version, CI commands, file paths, coding patterns) against the current codebase — everything checks out.

Copilot AI changed the title Replace placeholder AGENTS.md with .github/copilot-instructions.md Add .github/copilot-instructions.md for Copilot coding agent Mar 26, 2026
@bartelink bartelink marked this pull request as ready for review March 26, 2026 19:51
Copilot AI review requested due to automatic review settings March 26, 2026 19:51
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a dedicated Copilot Coding Agent instruction document for FsCodec to help automated agents/new contributors navigate repo structure, workflows, and key guardrails (API symmetry + wire-compat constraints).

Changes:

  • Added .github/copilot-instructions.md with repo map, build/test commands, F# conventions, architecture guardrails, serializer differences, and testing notes.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/copilot-instructions.md
Comment thread .github/copilot-instructions.md
@bartelink bartelink merged commit d3a0338 into master Mar 26, 2026
4 of 5 checks passed
@bartelink bartelink deleted the copilot/remove-placeholder-instructions branch March 26, 2026 20:24
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.

4 participants