Skip to content

Exempt GitHub Copilot PRs from issue link requirement#677

Merged
A1L13N merged 2 commits into
mainfrom
copilot/fix-5d36a5be-0100-498e-9548-df9121fd970b
Oct 4, 2025
Merged

Exempt GitHub Copilot PRs from issue link requirement#677
A1L13N merged 2 commits into
mainfrom
copilot/fix-5d36a5be-0100-498e-9548-df9121fd970b

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Oct 4, 2025

Description

This PR updates the enforce-issue-linked-pr.yml workflow to exempt PRs created by GitHub Copilot from the requirement of linking to an open issue via the Development section.

Problem

GitHub Copilot creates automated PRs using the copilot-swe-agent[bot] account. These PRs were being automatically closed by the workflow because they don't reference open issues in the Development section, which triggered the error message:

🚨 Missing Open Issue Link

This pull request does not reference any open GitHub issue via the Development section.

This prevented Copilot from autonomously creating and submitting PRs for issue resolution.

Solution

Added copilot-swe-agent[bot] to the exemptUsers array in the workflow, following the same pattern already established for the user A1L13N. This allows Copilot PRs to bypass the issue link validation while maintaining the requirement for all other contributors.

Changes

  • Updated .github/workflows/enforce-issue-linked-pr.yml line 28
  • Changed const exemptUsers = ['A1L13N']; to const exemptUsers = ['A1L13N', 'copilot-swe-agent[bot]'];

Testing

  • Validated YAML syntax
  • Verified the exemption follows existing patterns in the workflow
  • Confirmed the bot username matches GitHub Copilot's account identifier

Fixes #674

Original prompt

This section details on the original issue you should resolve

<issue_title>remove requirement for open issue links for copilot PRs</issue_title>
<issue_description>## 🚨 Missing Open Issue Link

This pull request does not reference any open GitHub issue via the Development section.

PRs must be linked to an open issue using GitHub’s "Development" section (on the right sidebar).

How to fix this:

  • Go to the PR page.
  • Use the "Link issue" option in the Development section.
  • Select an appropriate open issue.

This PR will be automatically closed. You can reopen it after linking an open issue.

Thank you!

Originally posted by @github-actions[bot] in #674 (comment)
</issue_description>

<agent_instructions>please update the action </agent_instructions>

Comments on the Issue (you are @copilot in this section)

Fixes #676

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Oct 4, 2025

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.


Comment @coderabbitai help to get the list of available commands and usage tips.

… workflow

Co-authored-by: A1L13N <193832434+A1L13N@users.noreply.github.com>
Copilot AI changed the title [WIP] remove requirement for open issue links for copilot PRs Exempt GitHub Copilot PRs from issue link requirement Oct 4, 2025
Copilot AI requested a review from A1L13N October 4, 2025 18:39
@A1L13N A1L13N marked this pull request as ready for review October 4, 2025 18:46
@A1L13N A1L13N merged commit 7176d04 into main Oct 4, 2025
1 check passed
@A1L13N A1L13N deleted the copilot/fix-5d36a5be-0100-498e-9548-df9121fd970b branch October 4, 2025 18:46
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.

remove requirement for open issue links for copilot PRs

2 participants