Add Github extension

This commit is contained in:
Robin van der Linde 2022-07-06 09:09:05 +00:00 committed by GitHub
parent 606fd305fd
commit 7270365cf5
2 changed files with 4 additions and 2 deletions

View file

@ -10,4 +10,5 @@ ports:
vscode: vscode:
extensions: extensions:
- "esbenp.prettier-vscode" - "esbenp.prettier-vscode"
- "eamodio.gitlens" - "eamodio.gitlens",
- "GitHub.vscode-pull-request-github"

View file

@ -1,6 +1,7 @@
{ {
"recommendations": [ "recommendations": [
"esbenp.prettier-vscode", "esbenp.prettier-vscode",
"eamodio.gitlens" "eamodio.gitlens",
"GitHub.vscode-pull-request-github"
] ]
} }