Add GitHub Copilot workspace instructions #3
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 comprehensive GitHub Copilot workspace instructions to improve AI-assisted development experience for the docker_ci_images repository.
What's Added
Creates a new
.github/copilot-instructions.md
file that provides GitHub Copilot with detailed context about:cosmian/ubuntu22
- Ubuntu 22.04 with documentation tools (MkDocs, pandoc, LaTeX)cosmian/rockylinux8
- Rocky Linux 8.9 with development toolscosmian/rockylinux9
- Rocky Linux 9.3 with development toolsWhy This Helps
The instructions enable GitHub Copilot to provide more accurate and contextually relevant suggestions when working with:
Impact
This is a purely additive change that doesn't modify any existing functionality. It enhances the development experience by providing AI assistants with comprehensive project context, leading to better code suggestions and reduced development friction.
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.