Skip to content

Conversation

Copilot
Copy link

@Copilot Copilot AI commented Aug 12, 2025

Updates the Copilot instructions to follow proper development practices and current repository conventions based on maintainer feedback.

Key Changes:

System Dependencies:

  • Simplified to only install build essentials: python3-dev, python3-pip, python3-venv, build-essential
  • Removed Python packages (numpy, sympy, psutil, flake8) as they're handled through Devito's own installation

Development Setup:

  • Updated to use proper Python virtual environment workflow instead of system-wide installation
  • Removed --break-system-packages flag since it's not needed in a venv
  • Added proper venv creation and activation steps

Documentation Standards:

  • Added link to official commit message guidelines wiki
  • Added capitalization rules for commit titles (e.g., misc: Patch not misc: patch)
  • Updated label system to include "API" and remove unused "python" label
  • Corrected references to use "python venv" instead of "conda environment" in tips

These changes ensure agents follow the repository's established development practices and avoid installation issues that could occur with the previous system-wide approach.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

…nd development guidance

Co-authored-by: ggorman <5394691+ggorman@users.noreply.github.com>
@Copilot Copilot AI changed the title [WIP] Your task is to "onboard" this repository to Copilot coding agent by adding a .github/copilot-instructions.md file in the repository that contains information describing how a coding agent seeing it for the first time can work most efficiently. You wi... Add comprehensive Copilot coding agent instructions Aug 12, 2025
@Copilot Copilot AI requested a review from ggorman August 12, 2025 10:52
Copilot finished work on behalf of ggorman August 12, 2025 10:52
@ggorman
Copy link
Contributor

ggorman commented Aug 12, 2025

@copilot - I have just upgraded your LLM model so carefully review the code repository again and refresh .github/copilot-instructions.md
In addition to reviewing the code also review https://github.com/devitocodes/devito/wiki/Tags-for-commit-messages-and-PR-titles and review a selection of PR review comments to get a sense what's required in a PR.

…sitory review

Co-authored-by: ggorman <5394691+ggorman@users.noreply.github.com>
Copy link
Author

Copilot AI commented Aug 12, 2025

@copilot - I have just upgraded your LLM model so carefully review the code repository again and refresh .github/copilot-instructions.md
In addition to reviewing the code also review https://github....

I've completed a comprehensive review of the repository and refreshed the .github/copilot-instructions.md file. Key updates include:

Repository Review Findings:

  • Updated Python support (3.10-3.13, not 3.12.3)
  • Documented all 13 CI/CD workflows including ASV benchmarks, Docker builds, and release automation
  • Added PR title/commit conventions based on recent patterns (compiler:, misc:, docs:, install:, mpi:, etc.)
  • Included comprehensive label system from recent PRs
  • Enhanced directory structure with all components (checkpointing/, mpatches/, operations/, etc.)

Enhanced Guidance:

  • Detailed flake8 configuration with explanations for ignored warnings
  • Complete dependency information including setuptools-scm versioning
  • Performance benchmarking and release process coverage
  • Time-saving development tips based on actual repository patterns

The instructions now provide agents with accurate, current guidance reflecting the repository's production-stable status and mature development practices.

Commit: ca1e196

@Copilot Copilot AI changed the title Add comprehensive Copilot coding agent instructions Refresh .github/copilot-instructions.md with comprehensive repository review and current development patterns Aug 12, 2025
Copilot finished work on behalf of ggorman August 12, 2025 11:24
Co-authored-by: ggorman <5394691+ggorman@users.noreply.github.com>
@Copilot Copilot AI changed the title Refresh .github/copilot-instructions.md with comprehensive repository review and current development patterns docs: Update .github/copilot-instructions.md system dependencies and development setup Aug 12, 2025
Copilot finished work on behalf of ggorman August 12, 2025 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants