Skip to content

Delete .github/pr-review.instructions.md#24624

Merged
EngincanV merged 1 commit intodevfrom
maliming-patch-3
Jan 13, 2026
Merged

Delete .github/pr-review.instructions.md#24624
EngincanV merged 1 commit intodevfrom
maliming-patch-3

Conversation

@maliming
Copy link
Member

Copilot doesn't support these instructions. : (

Copilot doesn't support these instructions. : (
Copilot AI review requested due to automatic review settings January 12, 2026 12:35
Copy link
Contributor

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 pull request removes the .github/pr-review.instructions.md file, which contained instructions for GitHub Copilot to filter out machine-generated pull requests from automated reviews. According to the PR description, these instructions are not supported by Copilot.

Changes:

  • Deletion of unused PR review instructions file

@maliming maliming requested a review from EngincanV January 13, 2026 06:04
@EngincanV
Copy link
Member

EngincanV commented Jan 13, 2026

@maliming The related file should be under an instructions folder (https://docs.github.com/en/copilot/how-tos/configure-custom-instructions/add-repository-instructions#creating-path-specific-custom-instructions-3), can you please move it under to the relevant folder (the folder does not exists)? Also, can you add applyTo: * in the relevant instruction file?


Update: #24610 It's already been tried under the instructions folder, but it did not work. So, merging the PR...

@EngincanV EngincanV merged commit acc1ac8 into dev Jan 13, 2026
8 checks passed
@EngincanV EngincanV deleted the maliming-patch-3 branch January 13, 2026 07:10
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