Closed vhermecz closed 3 years ago
This feature was introduced by https://github.com/gitpod-io/gitpod/pull/1909
Thanks @vhermecz for adding that to the docs 🙇♂️ If @csweichel agrees that its technically correct let's merge
This feature was introduced by https://github.com/gitpod-io/gitpod/pull/1909