Skip to content

Fix global gitignore is not respected, move licenses to release phase#191

Merged
wu-sheng merged 1 commit intomainfrom
license
Feb 9, 2025
Merged

Fix global gitignore is not respected, move licenses to release phase#191
wu-sheng merged 1 commit intomainfrom
license

Conversation

@kezhenxu94
Copy link
Member

No description provided.

@kezhenxu94 kezhenxu94 added this to the 0.7.0 milestone Feb 9, 2025
@kezhenxu94 kezhenxu94 requested a review from wu-sheng February 9, 2025 09:27
@kezhenxu94 kezhenxu94 marked this pull request as draft February 9, 2025 09:28
@kezhenxu94 kezhenxu94 marked this pull request as ready for review February 9, 2025 09:35
@wu-sheng wu-sheng merged commit 8b1d66c into main Feb 9, 2025
1 check passed
@wu-sheng wu-sheng deleted the license branch February 9, 2025 10:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants