Creating a Github Codespace
How to make a Github codespace from scratch
Download and install Visual Studio Code if you haven’t already
Visit the Github page for the ceda site (note: this also works for any public directory) Make sure you’re logged into Github
You should be able to see your new Codespace by clicking here to go to your Codespaces homepage