diff --git a/services/web/public/src/ide/editor/EditorManager.js b/services/web/public/src/ide/editor/EditorManager.js index de7e9e6964..aacff7b1ca 100644 --- a/services/web/public/src/ide/editor/EditorManager.js +++ b/services/web/public/src/ide/editor/EditorManager.js @@ -236,6 +236,12 @@ define([ if (this._ignoreExternalUpdates) { return } + if ( + _.property(['meta', 'type'])(update) === 'external' && + _.property(['meta', 'source'])(update) === 'git-bridge' + ) { + return + } return this.ide.showGenericMessageModal( 'Document Updated Externally', 'This document was just updated externally. Any recent changes you have made may have been overwritten. To see previous versions please look in the history.'