no git extension api hack

2026-05-01 22:12:26 +01:00 · 2018-05-08 17:40:37 -07:00
parent 9c5d1018f9
commit 59ad3ecb36
8 changed files with 104 additions and 87 deletions
--- a/extensions/git-extended/package.json
+++ b/extensions/git-extended/package.json
@@ -47,10 +47,17 @@
      }
    },
    "views": {
-      "scm": [{
-        "id": "pr",
-        "name": "GitHub Pull Requests"
-      }]
+      "scm": [
+        {
+          "id": "pr",
+          "name": "GitHub Pull Requests"
+        },
+        {
+          "id": "prStatus",
+          "name": "Changes From Pull Request",
+          "when": "git:ispr"
+        }
+      ]
    },
    "commands": [{
        "command": "pr.refreshList",