Skip to content

Delete unused new_from_server_update function.#11112

Merged
vorporeal merged 1 commit into
masterfrom
david/delete-unused-new_from_server_update-function
May 20, 2026
Merged

Delete unused new_from_server_update function.#11112
vorporeal merged 1 commit into
masterfrom
david/delete-unused-new_from_server_update-function

Conversation

@vorporeal
Copy link
Copy Markdown
Contributor

@vorporeal vorporeal commented May 16, 2026

Description

This function is wholly unused, so this simply removes it.

@vorporeal vorporeal force-pushed the david/delete-unused-new_from_server_update-function branch from f858ad7 to eded2de Compare May 19, 2026 18:43
@vorporeal vorporeal requested a review from bnavetta May 20, 2026 15:23
@vorporeal vorporeal marked this pull request as ready for review May 20, 2026 15:23
@oz-for-oss
Copy link
Copy Markdown
Contributor

oz-for-oss Bot commented May 20, 2026

@vorporeal

I'm starting a first review of this pull request.

You can view the conversation on Warp.

I completed the review and no human review was requested for this pull request.

Comment /oz-review on this pull request to retrigger a review (up to 3 times on the same pull request).

Powered by Oz

Copy link
Copy Markdown
Contributor

@oz-for-oss oz-for-oss Bot left a comment

Choose a reason for hiding this comment

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

Overview

This PR removes the unused new_from_server_update trait method from CloudModelType/StringModel and deletes the corresponding implementations plus now-unused ServerCloudObject imports.

Concerns

  • No blocking concerns found in the changed lines.

Verdict

Found: 0 critical, 0 important, 0 suggestions

Approve

Comment /oz-review on this pull request to retrigger a review (up to 3 times on the same pull request).

Powered by Oz

@vorporeal vorporeal enabled auto-merge (squash) May 20, 2026 15:31
@vorporeal vorporeal merged commit f653e1f into master May 20, 2026
44 checks passed
@vorporeal vorporeal deleted the david/delete-unused-new_from_server_update-function branch May 20, 2026 15:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants