140
// Is different from local to remote
141
if (localToRemote.updated.has(key)) {
142
>
const mergedExtension = merge(key, localExtension, remoteExtension, remoteExtension);
extensionsMerge.ts
143
>
// Update locally only when the extension has changes in properties other than installed poperty
144
>
if (!areSame(localExtension, remoteExtension, false, false)) {
145
updated.push(massageOutgoingExtension(mergedExtension, key));
146
}
148
>
}
149
} else {
150
// Add only if the extension is an installed extension