Skip to content

Document Copilot Git and PR workflow - #1113

Closed
ebhills wants to merge 1 commit into
devfrom
docs/copilot-git-workflow
Closed

Document Copilot Git and PR workflow#1113
ebhills wants to merge 1 commit into
devfrom
docs/copilot-git-workflow

Conversation

@ebhills

@ebhills ebhills commented Aug 2, 2026

Copy link
Copy Markdown
Collaborator

Added guidelines for Git and Pull Request workflow from main to dev.

Added guidelines for Git and Pull Request workflow from main to dev.

Copilot AI left a comment

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.

🟢 Ready to approve

Documentation-only change that is internally consistent and introduces no code or behavioral risk.

This review doesn't count toward merge requirements. Sign up for the private preview to control whether Copilot approvals count.

Pull request overview

Adds repository-specific Git branching and pull request guidance to the Copilot contributor instructions, clarifying how changes should flow from staging (dev) to production (main).

Changes:

  • Documented main vs dev roles and the required branching base (origin/main).
  • Defined the two-step PR process: feature branch → dev first, then feature branch → main after staging validation.
  • Added guardrails against merging dev into feature branches or into main, and against deleting branches too early.
File summaries
File Description
.github/copilot-instructions.md Adds a “Git and Pull Request workflow” section describing the repo’s branch/PR process.
Review details
  • Files reviewed: 1/1 changed files
  • Comments generated: 0
  • Review effort level: Lite

We're testing this review assessment. Please use 👍 or 👎 to tell us if it's correct.

@ebhills

ebhills commented Aug 11, 2026

Copy link
Copy Markdown
Collaborator Author

superceded by #1115

@ebhills ebhills closed this Aug 11, 2026
@ebhills
ebhills deleted the docs/copilot-git-workflow branch August 11, 2026 23:18
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.

2 participants