Skip to content

Drop conflict groups - #1047

Merged
inducer merged 2 commits into
mainfrom
drop-conflict-groups
Sep 2, 2026
Merged

Drop conflict groups#1047
inducer merged 2 commits into
mainfrom
drop-conflict-groups

Conversation

@inducer

@inducer inducer commented Sep 2, 2026

Copy link
Copy Markdown
Owner

No description provided.

@inducer
inducer enabled auto-merge (rebase) September 2, 2026 20:32
@inducer inducer mentioned this pull request Sep 2, 2026
2 tasks
@inducer
inducer force-pushed the drop-conflict-groups branch 3 times, most recently from 4de41bc to d7666b6 Compare September 2, 2026 21:03
@inducer
inducer force-pushed the drop-conflict-groups branch from d7666b6 to a1b12a0 Compare September 2, 2026 21:15
@inducer
inducer merged commit 4bf12df into main Sep 2, 2026
17 checks passed
@inducer
inducer deleted the drop-conflict-groups branch September 2, 2026 21:45
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