Skip to content

Add Copilot PR description requirements for issue linking format#6

Merged
kou merged 2 commits into
mainfrom
copilot/fix-gh-issue-number-in-pr-description
May 12, 2026
Merged

Add Copilot PR description requirements for issue linking format#6
kou merged 2 commits into
mainfrom
copilot/fix-gh-issue-number-in-pr-description

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented May 12, 2026

Fix GH-5

Copilot AI assigned Copilot and kou May 12, 2026
Copilot AI linked an issue May 12, 2026 that may be closed by this pull request
Copilot AI changed the title [WIP] Fix GH-Add GitHub Copilot instruction Add Copilot PR description requirements for issue linking format May 12, 2026
Copilot finished work on behalf of kou May 12, 2026 04:24
Copilot AI requested a review from kou May 12, 2026 04:24
@kou kou marked this pull request as ready for review May 12, 2026 04:25
Copilot AI review requested due to automatic review settings May 12, 2026 04:25
Copy link
Copy Markdown

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

Adds repository-level GitHub Copilot instructions to standardize pull request descriptions, with a required issue-key opening line and guidance to avoid low-signal template sections.

Changes:

  • Introduces .github/copilot-instructions.md documenting required PR description format (Fix GH-<issue_number> as the first line).
  • Explicitly discourages adding a meaningless Changes section in PR descriptions.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@@ -0,0 +1,4 @@
# Pull request description requirements

- The first line of every pull request description must be `Fix GH-${ISSUE_NUMBER}` with `${ISSUE_NUMBER}` replaced by the matching GitHub issue number (for example: `Fix GH-123`).
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

@copilot apply changes based on this feedback

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Updated the PR description first line to use the concrete issue number: Fix GH-5 (no placeholder). Ref: 984833f.

@@ -0,0 +1,4 @@
# Pull request description requirements

- The first line of every pull request description must be `Fix GH-${ISSUE_NUMBER}` with `${ISSUE_NUMBER}` replaced by the matching GitHub issue number (for example: `Fix GH-123`).
Copilot finished work on behalf of kou May 12, 2026 04:37
@kou kou merged commit 047dffa into main May 12, 2026
5 checks passed
@kou kou deleted the copilot/fix-gh-issue-number-in-pr-description branch May 12, 2026 04:38
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.

Add GitHub Copilot instruction

3 participants