Skip to content

Conversation

pje
Copy link
Contributor

@pje pje commented Apr 16, 2025

This adds a nascent .github/copilot-instructions.md file to let copilot know how to do basic things like tests, feature flags, and formatting.

See https://docs.github.com/en/copilot/customizing-copilot/adding-repository-custom-instructions-for-github-copilot for more information.

@Copilot Copilot AI review requested due to automatic review settings April 16, 2025 15:17
@pje pje requested a review from a team as a code owner April 16, 2025 15:17
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR adds a new repository custom instructions file (.github/copilot-instructions.md) for GitHub Copilot.

  • Introduces guidelines for writing tests with specific paths and naming conventions.
  • Provides commands for running tests and code formatting.
  • Includes a reminder to safeguard changes using feature flags.

@pje pje enabled auto-merge (squash) April 17, 2025 16:25
@TingluoHuang TingluoHuang force-pushed the pje/copilot-instructions branch from a7bd9b5 to 68c48d7 Compare May 5, 2025 04:11
@TingluoHuang TingluoHuang force-pushed the pje/copilot-instructions branch from 68c48d7 to e2fc4a7 Compare May 5, 2025 04:16
auto-merge was automatically disabled May 5, 2025 04:16

Pull request was closed

@TingluoHuang TingluoHuang reopened this May 5, 2025
@TingluoHuang TingluoHuang merged commit a3a7b6a into main May 5, 2025
2 checks passed
@TingluoHuang TingluoHuang deleted the pje/copilot-instructions branch May 5, 2025 04:17
marko-k0 pushed a commit to dfinity/runner that referenced this pull request May 13, 2025
fmartinez255 pushed a commit to TiVo/actions-runner that referenced this pull request May 20, 2025
sirredbeard pushed a commit to sirredbeard/runner that referenced this pull request Jun 11, 2025
sirredbeard pushed a commit to sirredbeard/runner that referenced this pull request Jun 11, 2025
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.

3 participants