Skip to content

Implement API to get default shell #75455

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
Merged
merged 2 commits into from
Jun 14, 2019
Merged

Implement API to get default shell #75455

merged 2 commits into from
Jun 14, 2019

Conversation

Tyriar
Copy link
Member

@Tyriar Tyriar commented Jun 13, 2019

Fixes #75091

@Tyriar Tyriar added this to the June 2019 milestone Jun 13, 2019
@Tyriar Tyriar self-assigned this Jun 13, 2019
@jerrygreen jerrygreen mentioned this pull request Jun 14, 2019
Closed
@Tyriar
Copy link
Member Author

Tyriar commented Jun 14, 2019

Merging in since changes here block #75509 getting fixed and it's just proposed, I'll keep the issue open to talk about it in the API sync.

@Tyriar Tyriar merged commit 52a351f into master Jun 14, 2019
@Tyriar Tyriar deleted the tyriar/75091_default_shell_api branch June 14, 2019 16:13
@WSLUser WSLUser mentioned this pull request Jul 3, 2019
Closed
@github-actions github-actions bot locked and limited conversation to collaborators Mar 28, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@Tyriar Tyriar

Labels
api api-proposal
Projects
None yet
Milestone
June 2019
Development

Successfully merging this pull request may close these issues.

Expose default shell API
1 participant
@Tyriar