Add support for git branches on remote projects (#19755)

Release Notes:

- Fixed a bug where the branch switcher could not be used remotely.
This commit is contained in:
Mikayla Maki 2024-10-27 15:50:54 -07:00 committed by GitHub
parent 5506669b06
commit c69da2df70
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
25 changed files with 993 additions and 127 deletions

View file

@ -631,7 +631,7 @@ impl SshClientDelegate {
self.update_status(
Some(&format!(
"Building remote server binary from source for {}",
"Building remote server binary from source for {} with Docker",
&triple
)),
cx,