Currently when changing the GitHub instance or the token to a PAT from a different user, it will probably require a restart of the app for it not to break.
Reason for this is that e.g. existing PRs won't be found on the other instance or the new PAT does not have access.
It would probably be best to clear all loaded Pull Requests and re-fetch them from notifications if such a change is done.
Currently when changing the GitHub instance or the token to a PAT from a different user, it will probably require a restart of the app for it not to break.
Reason for this is that e.g. existing PRs won't be found on the other instance or the new PAT does not have access.
It would probably be best to clear all loaded Pull Requests and re-fetch them from notifications if such a change is done.