change profile dgit

3 years ago · e4092d4207
parent ad724e91fb
commit e4092d4207
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 = {