Open
Description
When a GitHub PAT expires, we pop up a dialog that says that the auth was invalid. To remedy this, the user needs to manually sign out in the settings afterwards and generate a new token.
As a UX improvement, we should redirect to the settings prompt as an option in the dialog, or at least clear the invalid token.