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

refactor: remove **all** unnecessary 'optional' notation #91

Merged
merged 1 commit into from
Aug 30, 2023

Conversation

zyy17
Copy link
Contributor

@zyy17 zyy17 commented Aug 29, 2023

I hereby agree to the terms of the GreptimeDB CLA

What's changed and what's your intention?

refactor: remove all unnecessary optional notation.

Please explain IN DETAIL what the changes are in this PR and why they are needed:

  • Summarize your change (mandatory)
  • How does this PR work? Need a brief introduction for the changed logic (optional)
  • Describe clearly one logical change and avoid lazy messages (optional)
  • Describe any limitations of the current code (optional)

Checklist

  • I have written the necessary comments.
  • I have added the necessary unit tests and integration tests.

Refer to a related PR or issue link (optional)

@zyy17 zyy17 changed the title refactor: remove **all** unnecessary 'optional' notation refactor: remove **all** unnecessary 'optional' notion Aug 29, 2023
@zyy17 zyy17 changed the title refactor: remove **all** unnecessary 'optional' notion refactor: remove **all** unnecessary 'optional' notation Aug 29, 2023
@zyy17 zyy17 marked this pull request as ready for review August 29, 2023 10:12
Copy link
Member

@waynexia waynexia left a comment

Choose a reason for hiding this comment

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

Changes related to trace are fine to me. We can add special logic for the default value 0

@fengjiachun fengjiachun merged commit e8e228b into GreptimeTeam:main Aug 30, 2023
14 checks passed
shuiyisong added a commit that referenced this pull request Aug 30, 2023
@zyy17 zyy17 deleted the refactor/remove-optional branch July 21, 2024 05:02
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.

3 participants