Add UCD-SeRG Lab Manual reference to copilot-instructions#184
Conversation
Co-authored-by: d-morrison <2474437+d-morrison@users.noreply.github.com>
There was a problem hiding this comment.
Pull request overview
Adds lab-wide best-practices guidance to the repository’s Copilot instructions by linking to the UCD-SeRG Lab Manual, and updates release metadata accordingly.
Changes:
- Added a new “Lab-Wide Guidance” section to
.github/copilot-instructions.mdlinking to the UCD-SeRG Lab Manual (with a GitHub source fallback). - Added a NEWS entry documenting the Copilot-instructions update.
- Bumped package version to
0.0.0.9048.
Reviewed changes
Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.
| File | Description |
|---|---|
.github/copilot-instructions.md |
Adds lab-manual reference and topic list to guide Copilot toward lab-wide standards. |
NEWS.md |
Records the Copilot-instructions update in the development changelog. |
DESCRIPTION |
Increments package version to reflect the change. |
|
Claude finished @d-morrison's task in 43s —— View job Code Review: PR #184 — Add UCD-SeRG Lab Manual reference to copilot-instructions
SummaryThis PR adds a new "Lab-Wide Guidance" section to Review
|
Codecov Report✅ All modified and coverable lines are covered by tests. |
Adds reference to the UCD-SeRG Lab Manual in copilot-instructions to ensure Copilot follows lab-wide best practices for code repositories, coding style, reproducibility, and GitHub workflows.
Changes
.github/copilot-instructions.mdwith link to lab manual (web and GitHub source fallback)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:
ucd-serg.github.io/home/REDACTED/work/_temp/ghcca-node/node/bin/node /home/REDACTED/work/_temp/ghcca-node/node/bin/node --enable-source-maps /home/REDACTED/work/_temp/copilot-developer-action-main/dist/index.js(dns block)If you need me to access, download, or install something from one of these locations, you can either:
Original prompt
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.