From 35b273b2a745b7a817c9d4bd00e6290474beb7e6 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Sun, 29 Aug 2021 14:09:05 +0200 Subject: [PATCH] change profile dgit --- apps/remix-ide/src/remixAppManager.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/apps/remix-ide/src/remixAppManager.js b/apps/remix-ide/src/remixAppManager.js index 9d026e480f..ac2736a691 100644 --- 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 = {