You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If we would like to consider #109 I think it would require an option to trigger the merge process manually. It could be done simply by exposing it through contribution commands.
I propose the name Merge workspace configuration.
As before, I can take a look at it :)
The text was updated successfully, but these errors were encountered:
I don't have any objections to adding this if you're willing to work on it. I do think the value proposition is relatively minimal, but can see a minor convenience, even in the absence of #109, in a scenario where a user has made a mistake in a native file like settings.json and just wants to clean/fix everything up, without having to modify the shared/local files
If we would like to consider #109 I think it would require an option to trigger the merge process manually. It could be done simply by exposing it through contribution commands.
I propose the name
Merge workspace configuration
.As before, I can take a look at it :)
The text was updated successfully, but these errors were encountered: