Skip to content

Re-post the conflict comment when the resumed head lacks the squash commit#62

Merged
Phlogistique merged 1 commit into
mainfrom
resume-reposts-conflict-comment
Jul 7, 2026
Merged

Re-post the conflict comment when the resumed head lacks the squash commit#62
Phlogistique merged 1 commit into
mainfrom
resume-reposts-conflict-comment

Conversation

@Phlogistique

Copy link
Copy Markdown
Collaborator

A PR whose conflict comment predates the git-merge-onto switch got stranded: on resume the new head-contains-squash check failed, and the error told the user to run a git-merge-onto command their (old-format) comment never contained. Every push re-hit the same red run.

When the resumed head lacks the squash commit, re-post the current conflict comment and keep the label armed instead of dead-ending, so the next push has working instructions. Also covers pushing before the re-parent is finished. The run still returns nonzero so the PR reads as unresolved.

Observed on scortexio/sensei#7997.

🤖 Generated with Claude Code

…ommit

A PR whose conflict comment predates the git-merge-onto switch got stranded:
on resume the new head-contains-squash check failed, and the error told the
user to run a git-merge-onto command their (old-format) comment never
contained. Every push re-hit the same red run.

When the resumed head lacks the squash commit, re-post the current conflict
comment and keep the label armed instead of dead-ending, so the next push has
working instructions. Also covers pushing before the re-parent is finished.
The run still returns nonzero so the PR reads as unresolved.

Observed on scortexio/sensei#7997.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@Phlogistique Phlogistique marked this pull request as ready for review July 7, 2026 12:58
@Phlogistique Phlogistique merged commit 7aa220f into main Jul 7, 2026
2 checks passed
@Phlogistique Phlogistique deleted the resume-reposts-conflict-comment branch July 7, 2026 12:58
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