external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

add github pullrequest extension

pull/7102/head
Nils Dijk 2023-07-05 17:08:08 +00:00
parent 214d31fb73
commit 73d7fc4801
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.devcontainer/devcontainer.json
View File

@ -9,6 +9,7 @@
"extensions": [ "extensions": [
"ms-vscode.cpptools", "ms-vscode.cpptools",
"ms-vsliveshare.vsliveshare", "ms-vsliveshare.vsliveshare",
"github.vscode-pull-request-github",
], ],
"mounts": [ "mounts": [
"type=volume,target=/data", "type=volume,target=/data",