Skip to content

Comments

Add GitHub Copilot instructions#4

Draft
Copilot wants to merge 5 commits intodevfrom
copilot/setup-copilot-instructions
Draft

Add GitHub Copilot instructions#4
Copilot wants to merge 5 commits intodevfrom
copilot/setup-copilot-instructions

Conversation

Copy link

Copilot AI commented Dec 31, 2025

Adds .github/copilot-instructions.md to configure GitHub Copilot coding agent behavior for this repository.

Content

  • Development setup: Bun requirements, bun dev, type checking
  • Repository structure: Core packages and their purposes
  • Agents: Build, plan, and general subagent capabilities
  • Style conventions: Function composition, control flow, error handling, type precision, Bun APIs
  • Contribution guidelines: PR expectations, accepted changes, feature request process

The instructions consolidate relevant content from CONTRIBUTING.md, STYLE_GUIDE.md, and AGENTS.md into a single reference for the coding agent.

Original prompt

This section details on the original issue you should resolve

<issue_title>✨ Set up Copilot instructions</issue_title>
<issue_description>Configure instructions for this repository as documented in Best practices for Copilot coding agent in your repository.

</issue_description>

Comments on the Issue (you are @copilot in this section)


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI and others added 4 commits December 31, 2025 22:15
Co-authored-by: tnglemongrass <113173292+tnglemongrass@users.noreply.github.com>
Co-authored-by: tnglemongrass <113173292+tnglemongrass@users.noreply.github.com>
Co-authored-by: tnglemongrass <113173292+tnglemongrass@users.noreply.github.com>
Co-authored-by: tnglemongrass <113173292+tnglemongrass@users.noreply.github.com>
Copilot AI changed the title [WIP] Set up Copilot instructions for repository Add GitHub Copilot instructions Dec 31, 2025
Copilot AI requested a review from tnglemongrass December 31, 2025 22:20
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.

✨ Set up Copilot instructions

2 participants