Add comprehensive GitHub Copilot instructions for development workflow #253
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 complete
.github/copilot-instructions.md
file that provides GitHub Copilot coding agents with detailed instructions on how to work effectively in this RAG on PostgreSQL codebase.What's included
The instructions provide comprehensive guidance covering:
Development Environment Setup
Build and Test Workflows
Application Operations
Critical Timing Information
All commands include explicit "NEVER CANCEL" warnings with validated timeout values:
Validation and Troubleshooting
Validation
Every command and process has been thoroughly tested and validated:
The instructions follow the required format with imperative tone and firm directive to follow these instructions first before searching for additional information.
Fixes #252.
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:
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.