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

cli: allow exec server to listen on socket #188123

Merged
merged 2 commits into from
Jul 18, 2023
Merged

cli: allow exec server to listen on socket #188123

merged 2 commits into from
Jul 18, 2023

Conversation

connor4312
Copy link
Member

For remote ssh

@connor4312 connor4312 self-assigned this Jul 18, 2023
@connor4312 connor4312 enabled auto-merge (squash) July 18, 2023 02:28
@VSCodeTriageBot VSCodeTriageBot added this to the July 2023 milestone Jul 18, 2023
DonJayamanne
DonJayamanne previously approved these changes Jul 18, 2023
View reviewed changes
@connor4312 connor4312 merged commit 3e07866 into main Jul 18, 2023
6 checks passed
@connor4312 connor4312 deleted the connor4312/cli-on-socket branch July 18, 2023 16:19
@github-actions github-actions bot locked and limited conversation to collaborators Sep 1, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@joyceerhl joyceerhl joyceerhl approved these changes

@DonJayamanne DonJayamanne DonJayamanne left review comments

Assignees

@connor4312 connor4312

Labels
None yet
Projects
None yet
Milestone
July 2023
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@connor4312 @DonJayamanne @joyceerhl @VSCodeTriageBot