Use github auth server for provider

2026-04-22 09:38:38 +01:00 · 2020-04-27 08:10:30 -07:00
parent 6560269b22
commit b05b32bfd8
4 changed files with 87 additions and 37 deletions
--- a/extensions/github-authentication/package.json
+++ b/extensions/github-authentication/package.json
@@ -14,6 +14,22 @@
  "activationEvents": [
    "*"
  ],
+  "contributes": {
+    "commands": [
+      {
+        "command": "github.provide-token",
+        "title": "Manually Provide Token"
+      }
+    ],
+    "menus": {
+      "commandPalette": [
+        {
+          "command": "github.provide-token",
+          "when": "false"
+        }
+      ]
+    }
+  },
  "aiKey": "AIF-d9b70cd4-b9f9-4d70-929b-a071c400b217",
  "main": "./out/extension.js",
  "scripts": {