Skip to content

Merge joe suggestions - #989

Merged
doc-han merged 2 commits into
merge-algorithmfrom
merge-joe-suggestions
Sep 10, 2025
Merged

doc-han merged 2 commits into
merge-algorithmfrom
merge-joe-suggestions

Conversation

@josephjclark

@josephjclark josephjclark commented Sep 9, 2025 •

Copy link
Copy Markdown
Collaborator

some docs changes on merge

@github-project-automation github-project-automation Bot moved this to New Issues in Core Sep 9, 2025
@josephjclark
josephjclark changed the base branch from project-merge to merge-algorithm September 9, 2025 16:18
@josephjclark
josephjclark requested a review from doc-han September 9, 2025 16:18
@doc-han
doc-han merged commit a8ed35f into merge-algorithm Sep 10, 2025
@github-project-automation github-project-automation Bot moved this from New Issues to Done in Core Sep 10, 2025
@doc-han
doc-han deleted the merge-joe-suggestions branch September 10, 2025 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants