Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Add a developer document on how to submit a PR #406

Closed
mingmxu opened this issue Jan 18, 2024 · 0 comments · Fixed by #409
Closed

Add a developer document on how to submit a PR #406

mingmxu opened this issue Jan 18, 2024 · 0 comments · Fixed by #409
Labels
documentation Improvements or additions to documentation

Comments

@mingmxu
Copy link
Contributor

mingmxu commented Jan 18, 2024

Describe the issue with documentation

A clear and concise description of what the issue is.

Page link

If applicable, add the link to the page where the issue occurs.

Suggested change

Describe what changes you suggest to improve the documentation.

Additional context

Add any other context or screenshots about the documentation issue here.

@mingmxu mingmxu added the documentation Improvements or additions to documentation label Jan 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant