Log in to cas.run
There is no password. Your GitHub SSH key is your login: ask the SSH front door for a link and open it.
ssh -p 2222 cas.run loginThe link works once and for ten minutes. Use the SSH username that matches your GitHub login; the key you connect with must be on your GitHub profile.