Skip to content

Populate HISTORY.rst#222

Merged
pquentin merged 1 commit into
ywangd:mainfrom
pquentin:fix-history
Jan 23, 2026
Merged

Populate HISTORY.rst#222
pquentin merged 1 commit into
ywangd:mainfrom
pquentin:fix-history

Conversation

@pquentin

@pquentin pquentin commented Jan 23, 2026

Copy link
Copy Markdown
Collaborator

I mostly reused the GitHub release notes.

@ywangd ywangd left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

LGTM

I was simply merging your PRs. Not sure if you'd prefer the regular "reviewer LGTM and author merges" workflow. So I am trying it out here. Let me know if you have a preference. Thanks!

@pquentin

Copy link
Copy Markdown
Collaborator Author

Merging is fine, thank you!

@pquentin
pquentin merged commit 7d22664 into ywangd:main Jan 23, 2026
5 checks passed
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