move credential provider to github

2026-04-25 19:18:59 +01:00 · 2020-05-18 21:04:29 +02:00
parent b629dba454
commit a85a2e6044
11 changed files with 84 additions and 79 deletions
--- a/extensions/github/package.json
+++ b/extensions/github/package.json
@@ -25,6 +25,19 @@
        "title": "Publish to GitHub"
      }
    ],
+    "configuration": [
+      {
+        "title": "GitHub",
+        "properties": {
+          "github.gitAuthentication": {
+            "type": "boolean",
+            "scope": "resource",
+            "default": true,
+            "description": "%config.gitAuthentication%"
+          }
+        }
+      }
+    ],
    "viewsWelcome": [
      {
        "view": "scm",