Skip to content

docs: switch to PR-based workflow - #28

Merged
jinbagi merged 1 commit into
masterfrom
codex/update-pr-workflow
Jul 3, 2026
Merged

docs: switch to PR-based workflow#28
jinbagi merged 1 commit into
masterfrom
codex/update-pr-workflow

Conversation

@jinbagi

@jinbagi jinbagi commented Jul 3, 2026

Copy link
Copy Markdown
Owner

Summary

  • replace direct origin/master push guidance with branch and PR-based workflow
  • require focused PRs for self-contained units of work
  • document automatic merge behavior when repository rules allow it

Verification

  • Docs-only change; no runtime tests run

Copilot AI review requested due to automatic review settings July 3, 2026 00:53
@jinbagi
jinbagi merged commit 76f64f2 into master Jul 3, 2026
1 check passed
@jinbagi
jinbagi deleted the codex/update-pr-workflow branch July 3, 2026 00:53

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.

Pull request overview

Updates contributor/agent workflow guidance to a PR-based process for landing changes, aligning the documentation with branch-based development and repository merge rules.

Changes:

  • Replaces direct origin/master push guidance with a branch + pull request workflow.
  • Adds guidance to keep PRs focused and to use auto-merge when allowed.
  • Documents post-merge cleanup (deleting the source branch).

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

Comment thread AGENTS.md
Comment on lines +75 to +78
Do not push work directly to `origin/master`. Use a working tree branch for each
self-contained unit of work. After completing and verifying the unit, commit it
on that branch, push the branch to `origin`, open a pull request targeting
`master`, and use the PR merge flow to land it into `origin/master`.
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