As a User when I start existing workspace and GitHub is down I want to be notified about that during startup, but still open the existing workspace and continue working

[ibuziuk]

Is your task related to a problem? Please describe

When users try to launch existing Workspaces which were created from GitHub URLs while GitHub is offline, Workspaces will not start, and instead redirect the user to the GitHub URL in their browser. I believe the startup process is attempting to refresh the user's PAT before starting the Workspace, but because GitHub is offline, the process fails and the Workspace cannot start.

It would seem startup process has created a dependency on GitHub being online which prevents local development that should be fixed

Motivation:
Developers are sitting on their hands and cannot work from their local git repos (stored on PV mounted at /projects) while GitHub is down.

Describe the solution you'd like

As a User when I start existing workspace and GitHub is down I want to be notified about that during startup, but still open the existing workspace and continue working / do git commits etc. (I will be able to push later).

Describe alternatives you've considered

N/A

Additional context

https://www.githubstatus.com/

[ibuziuk]

@vinokurig looks like PRs have been merged. Can we close?