change profile dgit

3 years ago · 0205653746
parent 7c51c903a9
commit 0205653746
1 changed files with 3 additions and 0 deletions
--- a/apps/remix-ide/src/remixAppManager.js
+++ b/apps/remix-ide/src/remixAppManager.js
@ -121,6 +121,9 @@ export class RemixAppManager extends PluginManager {
      for (const profile of plugins) {
        if (profile.name === 'dgit') {
          profile.url = 'https://dgit3remix.web.app/'
+          profile.canActivate = [
+            'dGitProvider', 'gitdiff'
+          ]
        }
      }
      const github = {