Dead branch found by Coverity in CID #1405875.
To use Gitpod you must first enable the feature in the integrations section of your user preferences.
