GitHub - branch protection provider (#179789)

* Initial implementation * Update default setting state
2026-04-25 11:08:51 +01:00 · 2023-04-12 17:42:51 +02:00
parent cc8733af74
commit bb7570f4f8
9 changed files with 184 additions and 2 deletions
--- a/extensions/github/package.json
+++ b/extensions/github/package.json
@@ -125,12 +125,17 @@
          "group": "0_vscode@0"
        }
      ]
-
    },
    "configuration": [
      {
        "title": "GitHub",
        "properties": {
+          "github.branchProtection": {
+            "type": "boolean",
+            "scope": "resource",
+            "default": false,
+            "description": "%config.branchProtection%"
+          },
          "github.gitAuthentication": {
            "type": "boolean",
            "scope": "resource",