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.

Sign up for GitHub

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

Jump to bottom

style: switch from derivative to educe #8103

Closed
BugenZhao opened this issue Feb 21, 2023 · 3 comments · Fixed by #9621
Closed

style: switch from derivative to educe #8103

BugenZhao opened this issue Feb 21, 2023 · 3 comments · Fixed by #9621
Labels
type/style

Comments

@BugenZhao
Copy link
Member

IIRC derivative is unmaintained. We can switch to educe

Originally posted by @xxchan in #8094 (comment)
@github-actions github-actions bot added this to the release-0.1.18 milestone Feb 21, 2023
@BugenZhao BugenZhao removed this from the release-0.1.18 milestone Feb 27, 2023
@xxchan xxchan removed the good first issue Good for newcomers label Feb 27, 2023
@xxchan
Copy link
Member

xxchan commented Feb 27, 2023

Althought it's easy, but it's trivial chore work so I don't think it's "good first issue" 💦

@github-actions
Copy link
Contributor

This issue has been open for 60 days with no activity. Could you please update the status? Feel free to continue discussion or close as not planned.

@xxchan
Copy link
Member

xxchan commented May 5, 2023

image

😲

xxchan added a commit that referenced this issue May 5, 2023
@xxchan
refactor: derivative -> educe
4aa3fe3 
close #8103
@xxchan xxchan mentioned this issue May 5, 2023
Merged
7 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
type/style
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

refactor: derivative -> educe risingwavelabs/risingwave
2 participants
@BugenZhao @xxchan