Lukas 7793b3505d

Fix various devcontainer issues (#4761) ...

* Fix various devcontainer issues

- fix dubious git ownership during postCreateCommand
- fix gpg signing in container
- fix local gitconfig in container
- add gitlens extension to devcontainer
- enable plugins in devcontainer

* fix: spelling mistake

2023-05-05 22:34:42 +10:00

..

devcontainer.json

Fix various devcontainer issues (#4761)

2023-05-05 22:34:42 +10:00

Dockerfile

Fix various devcontainer issues (#4761)

2023-05-05 22:34:42 +10:00

postCreateCommand.sh

Fix various devcontainer issues (#4761)

2023-05-05 22:34:42 +10:00