Customizeable favicon for workspaces, different icon for www.gitpod.io

[abitrolly]

Is your feature request related to a problem? Please describe

I'm always frustrated when I need to find and switch to Gitpod workspace tab after visiting a dozen of references.

Describe the behaviour you'd like

1. Different tab icon for the main site at www,gitpod.io and tab with Gitpod workspace
2. Customizable icon for workspace in .gitpod.yml
3. Different favicon when workspace is loading

[gtsiolis]

Hey @abitrolly! I can totally relate to this.

1. Customizing the favicon for each workspace has been brought up again, but not sure if this is the best way forward, as this would introduce another point of friction or configuration that could go wrong.
2. Using a different favicon for the website could be interesting, but I'd definitely consider using a different one for the docs section. Cc @chrifro
3. Opened Use a different favicon based on workspace status #13837, following from a comment in Show pod status in IDE #7477 (comment) to propose using a different favicon based on workspace status. Feedback is welcome!

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.