Add Gitpod integration (!1298) · Merge requests · GitLab.org / GitLab Docs · GitLab

Achilleas Pipinellis - OOO until November 25th (parental leave) requested to merge gitpod into master Nov 11, 2020

Add a Gitpod integration, so that we can develop the docs site on gitpod.io.

To test it, visit https://gitpod.io/#https://gitlab.com/gitlab-org/gitlab-docs/-/tree/gitpod

Edited Nov 12, 2020 by Achilleas Pipinellis - OOO until November 25th (parental leave)