Skip to content

[housekeeping] Automated PR to fix formatting errors#1

Open
github-actions[bot] wants to merge 3 commits intomainfrom
housekeeping/fix-codeformatting
Open

[housekeeping] Automated PR to fix formatting errors#1
github-actions[bot] wants to merge 3 commits intomainfrom
housekeeping/fix-codeformatting

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions bot commented Apr 8, 2025

Automated PR to fix formatting errors

michalpobuta pushed a commit that referenced this pull request Mar 5, 2026
…es (dotnet#33963)

<!-- Please let the below note in for people that find this PR -->
> [!NOTE]
> Are you waiting for the changes in this PR to be merged?
> It would be very helpful if you could [test the resulting
artifacts](https://github.com/dotnet/maui/wiki/Testing-PR-Builds) from
this PR and let us know in a comment if this change resolves your issue.
Thank you!

## Description

Adds rule #2 to the Git Workflow section in copilot-instructions.md:

**When fixing CI or amending an existing PR, commit directly to the PR
branch.** Do not create a separate branch off a PR branch — the PR
branch already IS a feature branch. Creating a new branch means CI will
not run on the PR, defeating the purpose.

Also adds a code example showing the correct workflow (`gh pr checkout`
→ commit → push).

## Motivation

Copilot CLI was incorrectly creating separate branches when asked to fix
CI on existing PRs, because rule #1 ("never commit to main, create a
feature branch") was being over-generalized to PR branches. This caused
wasted time since CI only runs on PR branches.

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Shane Neuville <shneuvil@microsoft.com>
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.

1 participant