See commit message for detail, but the change is trivial.
Closes #31437 (closed)
To use Gitpod you must first enable the feature in the integrations section of your user preferences.
