Closed gtsiolis closed 3 years ago
Follow-up from https://github.com/gitpod-io/website/pull/891.
@JohannesLandgraf could you review and merge this?
Follow-up from https://github.com/gitpod-io/website/pull/891.