Skip to content

Switch to a batching work queue for saving sourcetexts#72926

Merged
CyrusNajmabadi merged 5 commits intodotnet:mainfrom
CyrusNajmabadi:batchSave
Apr 8, 2024
Merged

Switch to a batching work queue for saving sourcetexts#72926
CyrusNajmabadi merged 5 commits intodotnet:mainfrom
CyrusNajmabadi:batchSave

Conversation

@CyrusNajmabadi
Copy link
Contributor

No description provided.

@ghost ghost added Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead labels Apr 7, 2024
@CyrusNajmabadi CyrusNajmabadi marked this pull request as ready for review April 7, 2024 23:17
@CyrusNajmabadi CyrusNajmabadi requested a review from a team as a code owner April 7, 2024 23:17
@CyrusNajmabadi
Copy link
Contributor Author

Given that it wasn't tracked before, and this clearly is a case where it doesn't need to be tracked today, I'm not sure why this requirement now exists here. If you'd like to add this support here, I won't stop you :-)

@CyrusNajmabadi CyrusNajmabadi requested a review from sharwell April 8, 2024 17:12
@CyrusNajmabadi CyrusNajmabadi dismissed sharwell’s stale review April 8, 2024 17:13

The request to have an asynclistener is reasonable, but out of scope. This PR keeps us in the same position wrt that.

@CyrusNajmabadi
Copy link
Contributor Author

When we have multiple issues with code X, Y, Z. We should not block a fix/improvement for 'X' just because 'Y' and 'Z' still remain :)

Copy link
Contributor

@ToddGrun ToddGrun left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:shipit:

@CyrusNajmabadi
Copy link
Contributor Author

Going to move forward on this. Def ok with future improvements here.

@CyrusNajmabadi
Copy link
Contributor Author

@jasonmalinowski For review when you get back.

@dibarbet dibarbet modified the milestones: Next, 17.11 P1 Apr 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-IDE untriaged Issues and PRs which have not yet been triaged by a lead

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants