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

Dispose workspaces when we're done with them #69299

Merged
merged 1 commit into from
Jul 31, 2023
Merged

Dispose workspaces when we're done with them #69299

merged 1 commit into from
Jul 31, 2023

Conversation

jasonmalinowski
Copy link
Member

No description provided.

@jasonmalinowski jasonmalinowski self-assigned this Jul 31, 2023
@jasonmalinowski jasonmalinowski requested a review from a team as a code owner July 31, 2023 19:00
@dotnet-issue-labeler dotnet-issue-labeler bot added Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead labels Jul 31, 2023
@jasonmalinowski jasonmalinowski merged commit c7ff134 into dotnet:main Jul 31, 2023
24 checks passed
@jasonmalinowski jasonmalinowski deleted the dispose-workspace branch July 31, 2023 21:06
@ghost ghost added this to the Next milestone Jul 31, 2023
@allisonchou allisonchou mentioned this pull request Aug 3, 2023
Closed
@dibarbet dibarbet modified the milestones: Next, 17.8 P2 Aug 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@genlu genlu genlu approved these changes

@sharwell sharwell sharwell approved these changes

@CyrusNajmabadi CyrusNajmabadi CyrusNajmabadi approved these changes

Assignees

@jasonmalinowski jasonmalinowski

Labels
Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead
Projects
None yet
Milestone
17.8 P2
Development

Successfully merging this pull request may close these issues.
5 participants
@jasonmalinowski @genlu @sharwell @CyrusNajmabadi @dibarbet