Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[DOC] Improve Gitpod and VSCode documentation for contributors #2065

Merged
merged 8 commits into from
Jun 23, 2022

Conversation

tbouffard
Copy link
Member

@tbouffard tbouffard commented Jun 22, 2022

Also improve the Gitpod configuration.

Notes

Detected during developments of #2063

The extensions panel on Gitpod when opening this PR. The extensions are not sync with the Gitpod user settings letting us to improve the settings iteratively and without impacting the existing settings of the user.

image

@tbouffard tbouffard added the documentation Improvements or additions to documentation label Jun 22, 2022
@tbouffard tbouffard changed the title [DOC] Improve GitPod and VSCode documentation for contributors [DOC] Improve Gitpod and VSCode documentation for contributors Jun 22, 2022
@tbouffard tbouffard marked this pull request as ready for review June 22, 2022 16:10
@tbouffard tbouffard requested a review from csouchet June 22, 2022 16:10
@tbouffard tbouffard merged commit 3f8576f into master Jun 23, 2022
@tbouffard tbouffard deleted the doc/improve_gitpod_and_vscode_contrib_doc branch June 23, 2022 17:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants