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

fix some docs #6207

Merged
merged 1 commit into from
Apr 30, 2024
Merged

fix some docs #6207

merged 1 commit into from
Apr 30, 2024

Conversation

Haleygo
Copy link
Collaborator

@Haleygo Haleygo commented Apr 30, 2024

Describe Your Changes

Please provide a brief description of the changes you made. Be as specific as possible to help others understand the purpose and impact of your modifications.

Checklist

The following checks are mandatory:

@Haleygo Haleygo requested a review from hagen1778 April 30, 2024 01:54
@Haleygo Haleygo mentioned this pull request Apr 30, 2024
3 tasks
Copy link
Collaborator

@hagen1778 hagen1778 left a comment

Choose a reason for hiding this comment

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

LGTM

@hagen1778 hagen1778 merged commit e3c226c into master Apr 30, 2024
8 checks passed
@hagen1778 hagen1778 deleted the fix-docs branch April 30, 2024 08:27
hagen1778 pushed a commit that referenced this pull request Apr 30, 2024
* restore and actualize doc section explaining duplicated labels error
* rm misleading comment about post-aggregation in stream aggregation

(cherry picked from commit e3c226c)
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.

None yet

2 participants