Prunes stale closed repository entries (#313551)#313554
Open
eamodio wants to merge 1 commit intomicrosoft:mainfrom
Open
Prunes stale closed repository entries (#313551)#313554eamodio wants to merge 1 commit intomicrosoft:mainfrom
eamodio wants to merge 1 commit intomicrosoft:mainfrom
Conversation
- Removes closed repository records from the manager if the underlying path no longer exists on disk - Prevents dead repository entries from persisting when a user attempts to reopen a deleted or moved folder
Contributor
There was a problem hiding this comment.
Pull request overview
This PR addresses stale closedRepositories workspace-state entries in the Git extension by pruning closed repository paths that no longer exist on disk when a reopen attempt fails, preventing “dead” entries from persisting and repeatedly prompting the user.
Changes:
- On failed
openRepositoryattempts withopenIfClosed=true, checks whether the requested path exists on disk. - If the path is missing, removes that path from the closed-repositories manager and logs the pruning event.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #313551
/cc @lszomoru