Delete SSH key from GitHub

Go to https://github.com/settings/ssh/ and delete the key labeled workshop