git: fetch from all remotes

fixes #56463
This commit is contained in:
Joao Moreno
2018-09-12 16:20:48 +02:00
parent f9d5b65614
commit d880689924
5 changed files with 34 additions and 7 deletions

View File

@@ -260,6 +260,11 @@
"title": "%command.fetch%",
"category": "Git"
},
{
"command": "git.fetchAll",
"title": "%command.fetchAll%",
"category": "Git"
},
{
"command": "git.pull",
"title": "%command.pull%",
@@ -494,6 +499,10 @@
"command": "git.fetch",
"when": "config.git.enabled && gitOpenRepositoryCount != 0"
},
{
"command": "git.fetchAll",
"when": "config.git.enabled && gitOpenRepositoryCount != 0"
},
{
"command": "git.push",
"when": "config.git.enabled && gitOpenRepositoryCount != 0"