Clean up handling of serialized ssh connection ids (#36781)

Small follow-up to #36714

Release Notes:

- N/A
This commit is contained in:
Max Brunsfeld 2025-08-22 15:44:58 -07:00 committed by GitHub
parent bc566fe18e
commit 153724aad3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 93 additions and 97 deletions

View file

@ -52,11 +52,6 @@ use util::{
paths::{PathStyle, RemotePathBuf},
};
#[derive(
Debug, PartialEq, Eq, PartialOrd, Ord, Hash, Clone, Copy, serde::Serialize, serde::Deserialize,
)]
pub struct SshProjectId(pub u64);
#[derive(Clone)]
pub struct SshSocket {
connection_options: SshConnectionOptions,