Regenerate workspace name

[a2br]

I think it'd be really nice if we had the ability to regenerate the workspace's name. My grey-cockroaches or apricot-hyenas are giving me nightmares, and I'm pretty sure the hosted version of Gitpod doesn't want us to create & close multiple workspaces just to get a good name.

[jankeromnes]

and I'm pretty sure the hosted version of Gitpod doesn't want us to create & close multiple workspaces just to get a good name.

Please feel free create & close as many workspaces as you like, to get a better ID or for any other reason. 👍

This is 0% disruptive to hosted Gitpod. In fact it's even what it was designed for (ephemeral single-use workspaces, create/use/dispose as often as you like).

[corneliusludmann]

Related: #4129

[AlexTugarev]

Let's close this in favor of #4129