change profile dgit

3 years ago · 35b273b2a7
parent 4e909a6cf0
commit 35b273b2a7
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 = {