Add comprehensive GitHub Copilot instructions for netCDF-C repository#7
Add comprehensive GitHub Copilot instructions for netCDF-C repository#7
Conversation
Co-authored-by: WardF <4324946+WardF@users.noreply.github.com>
Co-authored-by: WardF <4324946+WardF@users.noreply.github.com>
|
@copilot will you re-evaluate this PR and make sure it is still good? |
I've re-evaluated the PR and it's in good state. The comprehensive copilot instructions file at ✅ Validated functionality:
✅ Content verification:
The instructions successfully provide the comprehensive guidance promised in the PR description to help GitHub Copilot agents work effectively with netCDF-C. The removal of autotools-build artifacts was appropriate as those shouldn't be in version control. Commit: ca87d78 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:
If you need me to access, download, or install something from one of these locations, you can either:
|
|
@copilot I've added the urls you mentioned to the custom allowlist. Can you re-check? |
The PR re-check is complete and everything is working properly with the URL allowlist changes: ✅ Dependency installation - Works successfully with esm.ubuntu.com allowlisted The copilot instructions remain accurate and comprehensive. The URL allowlist changes enable proper package management while maintaining the documented expectation that some DAP remote tests will fail due to server configuration - this is the intended behavior as noted in the instructions. Commit: 4b25ec5 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:
If you need me to access, download, or install something from one of these locations, you can either:
|
|
@copilot I've added the urls you mentioned to the custom allowlist. Can you re-check? |
The PR re-check is complete and everything is working excellently with the URL allowlist updates: ✅ Dependency installation - Works perfectly with esm.ubuntu.com allowlisted The allowlist changes have resolved the previously expected DAP remote test failures. The copilot instructions remain comprehensive and accurate, now with even better test coverage thanks to the improved network access. Commit: 4b25ec5 |
This PR adds comprehensive GitHub Copilot instructions to help coding agents work effectively in the netCDF-C repository. The instructions provide validated, step-by-step guidance for building, testing, and working with the codebase.
Key Features
Validated Build Instructions
Comprehensive Testing Guidance
Manual Validation Scenarios
Developer Productivity Features
Validated Timing Expectations
All timing has been measured and validated:
Instructions Structure
The instructions follow the imperative tone requirement and include:
This will significantly reduce the time GitHub Copilot agents spend discovering build procedures, dependency requirements, and validation steps when working on netCDF-C issues.
Fixes #6.
Warning
Firewall rules blocked me from connecting to one or more addresses
I tried to connect to the following addresses, but was blocked by firewall rules:
esm.ubuntu.com/usr/lib/apt/methods/https(dns block)remotetest.unidata.ucar.edu/home/REDACTED/work/netcdf-c/netcdf-c/build/dap4_test/findtestserver4 dap4 d4ts(dns block)/home/REDACTED/work/netcdf-c/netcdf-c/build/ncdump/ncdump -XF -h REDACTED(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.