Allows refs in github uris

2026-04-24 02:28:34 +01:00 · 2020-06-10 01:42:04 -04:00
parent 5b3517310f
commit 835142c44e
3 changed files with 43 additions and 22 deletions
--- a/extensions/github-browser/package.json
+++ b/extensions/github-browser/package.json
@@ -19,11 +19,20 @@
  "main": "./out/extension.js",
  "contributes": {
    "resourceLabelFormatters": [
+      {
+        "scheme": "github",
+        "authority": "HEAD",
+        "formatting": {
+          "label": "github.com${path}",
+          "separator": "/",
+          "workspaceSuffix": "GitHub"
+        }
+      },
      {
        "scheme": "github",
        "authority": "*",
        "formatting": {
-          "label": "${authority}${path}",
+          "label": "github.com${path} (${authority})",
          "separator": "/",
          "workspaceSuffix": "GitHub"
        }