Skip to content

Fix bug in commit error handling - #275

Merged
benjie merged 3 commits into
mainfrom
fix-commit-undo
Oct 15, 2026
Merged

benjie merged 3 commits into
mainfrom
fix-commit-undo

Conversation

@benjie

@benjie benjie commented Oct 15, 2026 •

Copy link
Copy Markdown
Member

Fixes an issue introduced in #273 - we want the original original text, not the compiled version.

@benjie
benjie merged commit 822a184 into main Oct 15, 2026
16 checks passed
@github-actions github-actions Bot mentioned this pull request Oct 15, 2026
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