Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

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

Merged
merged 1 commit into from
Feb 9, 2025

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
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants