From 87906e25832197da18f700be49e1a6d0885b7e7d Mon Sep 17 00:00:00 2001 From: Jorge Orpinel Date: Wed, 6 May 2020 16:39:50 -0500 Subject: [PATCH] gitpod: remove from docs contrib guide for now --- content/docs/user-guide/contributing/docs.md | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/content/docs/user-guide/contributing/docs.md b/content/docs/user-guide/contributing/docs.md index 4ee32e973e..92d401ab5b 100644 --- a/content/docs/user-guide/contributing/docs.md +++ b/content/docs/user-guide/contributing/docs.md @@ -53,19 +53,11 @@ We will review your PR as soon as possible. Thank you for contributing! ## Development environment -We highly recommend running this web app to check documentation or blog changes -before submitting them, and it's quite necessary when making changes to the -website engine itself. Source code and content files need to be properly +We highly recommend running this web app locally to check documentation or blog +changes before submitting them, and it's quite necessary when making changes to +the website engine itself. Source code and content files need to be properly formatted and linted as well, which is also ensured by the full setup below. -> ⚡ You can create a dev env online using Gitpod (a fully featured online IDE), -> it'll automatically clone the repo, install the dependencies, and run the app -> (takes a few minutes), so that you can start straight away. -> -> -> Open in Gitpod -> - Make sure you have a recent LTS version of [Node.js](https://nodejs.org/en/) (`>=12.0.0`), and install [Yarn](https://yarnpkg.com/):