export to, clone from github

This commit is contained in:
João Moreno
2020-05-18 15:51:15 +02:00
parent ee4e97fe6a
commit b629dba454
6 changed files with 27 additions and 16 deletions

View File

@@ -24,15 +24,15 @@
"command": "github.publish",
"title": "Publish to GitHub"
}
],
"viewsWelcome": [
{
"view": "scm",
"contents": "%welcome.publishFolder%",
"when": "config.git.enabled && git.state == initialized && workbenchState == folder"
}
]
},
"viewsWelcome": [
{
"view": "scm",
"contents": "%welcome.publishFolder%",
"when": "config.git.enabled && git.state == initialized && workbenchState == folder"
}
],
"scripts": {
"vscode:prepublish": "npm run compile",
"compile": "gulp compile-extension:github",