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

[Doc] fix doc indent #3100

Merged
merged 1 commit into from
Jan 31, 2024
Merged

[Doc] fix doc indent #3100

merged 1 commit into from
Jan 31, 2024

Conversation

Zzm0809
Copy link
Contributor

@Zzm0809 Zzm0809 commented Jan 31, 2024

Purpose of the pull request

Brief change log

Verify this pull request

This pull request is code cleanup without any test coverage.

(or)

This pull request is already covered by existing tests, such as (please describe tests).

(or)

This change added tests and can be verified as follows:

@Zzm0809 Zzm0809 added this to the 1.0.0 milestone Jan 31, 2024
@Zzm0809 Zzm0809 added the Doc Improvements or additions to documentation label Jan 31, 2024
Copy link
Contributor

@zackyoungh zackyoungh left a comment

Choose a reason for hiding this comment

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

LGTM

@zackyoungh zackyoungh merged commit c186454 into DataLinkDC:dev Jan 31, 2024
3 checks passed
@Zzm0809 Zzm0809 deleted the fix-doc-indent branch March 4, 2024 04:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Doc Improvements or additions to documentation
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants