This picks !697 (merged) into 13-12-stable branch.
13-12-stable
To use Gitpod you must first enable the feature in the integrations section of your user preferences.