Skip to content

Merge command and better operation handling#174

Merged
Chris7 merged 3 commits intomainfrom
merge-command
Apr 14, 2025
Merged

Merge command and better operation handling#174
Chris7 merged 3 commits intomainfrom
merge-command

Conversation

@Chris7
Copy link
Copy Markdown
Contributor

@Chris7 Chris7 commented Apr 10, 2025

Adds an explicit merge command and better error/transaction handling

@Chris7 Chris7 changed the title Merge rollback and operation handling Merge command and better operation handling Apr 10, 2025
@Chris7 Chris7 requested a review from dkhofer April 11, 2025 19:20
Copy link
Copy Markdown
Contributor

@dkhofer dkhofer left a comment

Choose a reason for hiding this comment

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

Nice! LGTM (minor comment is nonblocking)

@Chris7 Chris7 merged commit 9b8b1ce into main Apr 14, 2025
1 check passed
@Chris7 Chris7 deleted the merge-command branch April 14, 2025 17:20
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