Skip to content

Sync upstream into pinned (613058337673)#2

Merged
gcharang merged 13 commits into
pinnedfrom
main
Jun 4, 2026
Merged

Sync upstream into pinned (613058337673)#2
gcharang merged 13 commits into
pinnedfrom
main

Conversation

@github-actions

@github-actions github-actions Bot commented Jun 4, 2026

Copy link
Copy Markdown

Automated upstream sync.

  • Upstream: millionco/react-doctor@main
  • main is synced up to upstream 613058337673.

Commits this PR brings onto pinned

Merge with a merge commit — do not squash or rebase. Squashing rewrites these commits
under new SHAs, so the next sync would see them as unmerged and reopen an ever-growing PR.
A merge commit keeps main's commits reachable from pinned, which is how this
workflow detects that the sync is done.

Conflicts on the harden commit's files are expected and shown in the PR UI; resolve them in the merge.

Opened by the sync-upstream workflow. Do not auto-merge.

devin-ai-integration Bot and others added 13 commits June 4, 2026 00:40
Co-authored-by: Aiden Bai <aiden.bai05@gmail.com>
Co-authored-by: Aiden Bai <aiden.bai05@gmail.com>
Mondays (and on demand) it merges new commits from upstream
millionco/react-doctor:main into our main, then opens/refreshes a
main -> pinned PR for review. Uses GITHUB_TOKEN so the push to main
does not trigger publish.yml/ci.yml; never auto-merges into pinned.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…illionco#658)

Co-authored-by: Aiden Bai <aiden.bai05@gmail.com>
Co-authored-by: Nisarg Patel <awesomenisarg@gmail.com>
gh pr commands in a fork default their base to the parent repo
(millionco/react-doctor), so GITHUB_TOKEN-created PRs were denied with
'Resource not accessible by integration'. Pass --repo $GITHUB_REPOSITORY
to pin every gh pr op to this fork. Also gate PR creation on main being
ahead of pinned (rev-list) rather than only on a fresh upstream merge, so
a failed PR creation is retried on the next run.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
- Gate PR on non-merge commits (--no-merges) so the gate matches the
  PR-body list and never opens a PR whose commit list renders empty.
- Add 'set -euo pipefail' to the identity/fetch steps for consistency
  and to fail the job loudly if a fetch errors.
- State emphatically in the PR body that the main->pinned PR must be
  merged with a merge commit (squash/rebase rewrites SHAs and makes the
  next sync reopen an ever-growing PR).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@gcharang gcharang merged commit 42de2c3 into pinned Jun 4, 2026
12 of 14 checks passed
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