My company changed the GitHub user accounts, and I don't see how I can switch the authentication or log out and log in to a different account.
Please provide a way for this or at least state in the documentation where the authentication information is stored (to be able to delete that file).