From b09b4ca0c5ad397fb8795824493a3be284a4c78d Mon Sep 17 00:00:00 2001
From: filip mertens <filip.mertens@ethereum.org>
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 = {