From 1c8187b474186684adc8cba436607c1ed9c2a43d Mon Sep 17 00:00:00 2001
From: filip mertens <filip.mertens@ethereum.org>
Date: Fri, 27 Aug 2021 15:25:31 +0200
Subject: [PATCH] github integration

---
 apps/remix-ide/src/remixAppManager.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/apps/remix-ide/src/remixAppManager.js b/apps/remix-ide/src/remixAppManager.js
index 8f4187cc98..2038a75f8b 100644
--- a/apps/remix-ide/src/remixAppManager.js
+++ b/apps/remix-ide/src/remixAppManager.js
@@ -117,6 +117,12 @@ export class RemixAppManager extends PluginManager {
         }
         return true
       })
+      // temp dgit hack
+      for (const profile of plugins) {
+        if (profile.name === 'dgit') {
+          profile.url = 'https://dgit3remix.web.app/'
+        }
+      }
       localStorage.setItem('plugins-directory', JSON.stringify(plugins))
     } catch (e) {
       console.log('getting plugins list from localstorage...')