Fix something

[svenefftinge]

This is a part of a multi-repo setup. Starting a workspace from here should result in a full workspace, where this repo has a local branch checked out as usual for issue contexts.

https://sefftinge-multi-repo-setups-7608.staging.gitpod-dev.com/#https://github.com/svenefftinge/multi-repo-sub1/issues/1