github: publish workspace folder

This commit is contained in:
João Moreno
2020-05-19 11:57:34 +02:00
parent 2aa9f3f243
commit 4bb364cc8e
6 changed files with 155 additions and 114 deletions

View File

@@ -43,6 +43,11 @@
"view": "scm",
"contents": "%welcome.publishFolder%",
"when": "config.git.enabled && git.state == initialized && workbenchState == folder"
},
{
"view": "scm",
"contents": "%welcome.publishWorkspaceFolder%",
"when": "config.git.enabled && git.state == initialized && workbenchState == workspace && workspaceFolderCount != 0"
}
]
},