[server] fix compile error

[svenefftinge]

Fixes a compilation error that slipped in when merging two different PRs in parallel. Also adds a default to the recently introduced migration. See comment.

NONE

[roboquat]

@svenefftinge: Adding the "do-not-merge/release-note-label-needed" label because no release-note block was detected, please follow our release note process to remove it.

Instructions for interacting with me using PR comments are available here. If you have questions or suggestions related to my behavior, please file an issue against the kubernetes/test-infra repository.

[codecov]

Codecov Report

Merging #8711 (14c6487) into main (993b958) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #8711   +/-   ##
=======================================
  Coverage   11.17%   11.17%           
=======================================
  Files          18       18           
  Lines         993      993           
=======================================
  Hits          111      111           
  Misses        880      880           
  Partials        2        2           

Flag	Coverage Δ
components-gitpod-cli-app	11.17% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f143f0e...14c6487. Read the comment docs.

[jldec]

LGTM