Skip to content

Document PR-only workflow#2

Merged
RedBeret merged 1 commit into
mainfrom
codex/pr-only-workflow
Apr 29, 2026
Merged

Document PR-only workflow#2
RedBeret merged 1 commit into
mainfrom
codex/pr-only-workflow

Conversation

@RedBeret
Copy link
Copy Markdown
Owner

Summary

  • add repository-level agent instructions requiring small topic branches and pull requests
  • document the PR-only policy in contributing docs and the publication checklist
  • keep direct main pushes reserved for the initial publication only

Validation

  • bash scripts/publish-check.sh

Repository settings

Branch protection is now enabled on main with:

  • pull requests required before merge
  • smoke-test required and strict
  • admin enforcement enabled
  • force pushes disabled
  • branch deletion disabled

@RedBeret RedBeret merged commit d236529 into main Apr 29, 2026
3 checks passed
@RedBeret RedBeret deleted the codex/pr-only-workflow branch April 29, 2026 02:22
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