Go to https://github.com/settings/tokens and delete the token labeled workshop
Go to https://github.com/settings/ssh/ and delete the key labeled workshop
This removes the token and ssh key used in the workspace. This is good security practice. The public repositories are free and can stay in case you’d like to experiment more in the future, or want to open a pull request for code changes.