git: remove bad menu

This commit is contained in:
Joao Moreno
2019-10-25 09:54:20 +02:00
parent f7d0c2d2da
commit 93f1e0287b

View File

@@ -573,10 +573,6 @@
"command": "git.deleteTag",
"when": "config.git.enabled && gitOpenRepositoryCount != 0"
},
{
"command": "git.getTags",
"when": "config.git.enabled && gitOpenRepositoryCount != 0"
},
{
"command": "git.fetch",
"when": "config.git.enabled && gitOpenRepositoryCount != 0"