Skip to content

Cleanup old code#431

Merged
gtrevisan merged 12 commits intodevfrom
cleanup-old-code
Apr 7, 2025
Merged

Cleanup old code#431
gtrevisan merged 12 commits intodevfrom
cleanup-old-code

Conversation

@gtrevisan
Copy link
Copy Markdown
Member

@gtrevisan gtrevisan commented Apr 3, 2025

keep your eyes peeled for this one!
are you able to take a look and see whether anything does deserve to survive?

I will run full tests to be safe -- full tests pass.

Copy link
Copy Markdown
Contributor

@AlexSaperstein AlexSaperstein left a comment

Choose a reason for hiding this comment

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

I've never really used any of these. you're good to go on my end

Copy link
Copy Markdown
Contributor

@yumouwei yumouwei left a comment

Choose a reason for hiding this comment

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

I haven't seen these methods being used anywhere, so I'd say it's safe to remove them.

@gtrevisan gtrevisan merged commit 09ef147 into dev Apr 7, 2025
11 checks passed
@gtrevisan gtrevisan deleted the cleanup-old-code branch April 7, 2025 15:07
@gtrevisan gtrevisan mentioned this pull request Apr 7, 2025
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.

4 participants