Add comprehensive .github/copilot-instructions.md for GitHub Copilot coding agent #93
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds a comprehensive
.github/copilot-instructions.mdfile that provides GitHub Copilot coding agents with detailed instructions for working effectively in the Protols codebase.What's Included
The instructions file provides complete guidance for:
Build & Development Workflow:
cargo build~1 min,cargo test~6 sec,cargo clippy~15 sec)Manual Validation Scenarios:
Project Navigation & Structure:
src/lsp.rs,src/parser/,src/workspace/, etc.)sample/simple.proto, test input files)Development Best Practices:
cargo fmt --check,cargo clippy, full test suite)Validation
Every single command in the instructions has been tested and validated to work correctly:
The instructions follow an imperative tone ("Run this command", "Always test") and provide copy-pasteable commands that agents can execute reliably to build, test, and validate changes to the Language Server Protocol implementation.
Fixes #92.
Warning
Firewall rules blocked me from connecting to one or more addresses (expand for details)
I tried to connect to the following addresses, but was blocked by firewall rules:
esm.ubuntu.com/usr/lib/apt/methods/https(dns block)If you need me to access, download, or install something from one of these locations, you can either:
💬 Share your feedback on Copilot coding agent for the chance to win a $200 gift card! Click here to start the survey.