Properly handle the workspace list when the workspace context ref is undefined

Author: felladrin

components/gitpod-protocol/java/src/main/java/io/gitpod/gitpodprotocol/api/entities/WorkspaceContext.java

@@ -4,6 +4,8 @@
 
 package io.gitpod.gitpodprotocol.api.entities;
 
+import java.util.Optional;
+
 public class WorkspaceContext {
     private String normalizedContextURL;
     private String ref;
@@ -16,8 +18,8 @@ public void setNormalizedContextURL(String normalizedContextURL) {
         this.normalizedContextURL = normalizedContextURL;
     }
 
-    public String getRef() {
-        return ref;
+    public Optional<String> getRef() {
+        return Optional.ofNullable(ref);
     }
 
     public void setRef(String ref) {

components/gitpod-protocol/src/protocol.ts

@@ -878,6 +878,7 @@ export namespace ExternalImageConfigFile {
 
 export interface WorkspaceContext {
     title: string;
+    ref?: string;
     /** This contains the URL portion of the contextURL (which might contain other modifiers as well). It's optional because it's not set for older workspaces. */
     normalizedContextURL?: string;
     forceCreateNewWorkspace?: boolean;

components/ide/jetbrains/gateway-plugin/src/main/kotlin/io/gitpod/jetbrains/gateway/GitpodWorkspacesView.kt

@@ -283,7 +283,11 @@ class GitpodWorkspacesView(
                                         it.totalUncommitedFiles + it.totalUntrackedFiles + it.totalUnpushedCommits
                                     } ?: 0
                                     row {
-                                        label(info.workspace.context.ref)
+                                        if (info.workspace.context.ref.isPresent()) {
+                                            label(info.workspace.context.ref.get())
+                                        } else {
+                                            label("(detached)")
+                                        }
                                     }.rowComment(
                                         when {
                                             changes == 1 -> "<b>$changes Change</b>"