Skip to content

^d Serialize PR policy events after branch pushes - #536

Open
omkhar wants to merge 2 commits into
mainfrom
docs/serialize-pr-metadata
Open

^d Serialize PR policy events after branch pushes#536
omkhar wants to merge 2 commits into
mainfrom
docs/serialize-pr-metadata

Conversation

@omkhar

@omkhar omkhar commented Jul 30, 2026

Copy link
Copy Markdown
Owner

Summary

  • serialize push-triggered Allowed PR base checks before PR metadata mutations
  • permit only a corrective draft transition or base edit after a settled base-policy failure
  • require the replacement policy run to succeed before any further triggering mutation or merge

Validation

  • three independent peer-review lenses CLEAN
  • ./scripts/ci/job-docs.sh
  • env -u GIT_PAGER ./scripts/dev-quick-check.sh
  • env -u GIT_PAGER ./scripts/ci/job-validate.sh --profile pr-parity
  • fresh exact-head ./scripts/pre-merge.sh --profile pr-parity --base main --parity-snapshot worktree

Signed commits: db880d68706e6937787595034fb67a84f2bdadb3, 152c538e2f48db8324edf32a8b2a7c7e6970339b

Record the hosted-workflow ordering lesson from a cancelled current-head
PR-base-policy run. Require follow-up pushes to settle, verify the PR's
headRefOid, and wait for Allowed PR base before title, body, base, or
draft-state mutations.

Follow any replacement policy run before another triggering mutation or
merge. This keeps contributor workflow guidance aligned with the workflow's
PR-number concurrency group.

Validated with three clean peer-review lenses after fixes, the repository
docs lane, the quick gate, and whitespace checks.
@omkhar
omkhar marked this pull request as ready for review July 30, 2026 02:30
@omkhar
omkhar enabled auto-merge July 30, 2026 02:31

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: db880d6870

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread .agents/skills/workcell-pr-lifecycle/SKILL.md Outdated
@omkhar

omkhar commented Jul 30, 2026

Copy link
Copy Markdown
Owner Author

@codex review

Please re-review signed head 152c538e2f48db8324edf32a8b2a7c7e6970339b; the corrective-mutation deadlock is resolved, three peer lenses are CLEAN, and fresh exact-head PR-parity passed.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. Chef's kiss.

Reviewed commit: 152c538e2f

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

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