Revert domain name change for jihulab.com

Reverting this as we've received some signal affecting user experience
gitpod-io · May 17, 2022 · dd386d9 · dd386d9
1 parent 10ce873
commit dd386d9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/manifest.json b/manifest.json
@@ -2,7 +2,7 @@
   "manifest_version": 2,
   "name": "Gitpod - Always ready to code",
   "short_name": "Gitpod",
-  "version": "1.14",
+  "version": "1.15",
   "description": "Spin up fresh, automated dev environments for each task, in the cloud, in seconds.",
   "icons": {
     "16": "icons/gitpod-logo-16.png",
@@ -15,7 +15,7 @@
         "*://*.github.com/*",
         "*://*.gitlab.com/*",
         "*://*.bitbucket.org/*",
-        "*://*.jihulab.com/*",
+        "*://*.gitlab.cn/*",
         "*://*.gitpod.io/*"
       ],
       "js": [