You can start/open existing Gitpod wokspace from here https://gitpod.io/workspaces/
After you start/open your workspace make sure you run below command in terminal to get all changes from Github
git pull
Make sure you save code changes in workspace and push to Github regularly.
If you don't see your workspace you can create a new workspace using below link https://gitpod.io/#https://github.com/shahrajesh2006/RainingRobots
Run following four commands from Gitpod terminal to push changes to Github
git pull This will makue sure your Gitpod workspace is in sync with Github
git add .
git commit -m 'commit message'
git push
If you are having issues with your workspace sometimes it may be easier to delete workspace and start over.
Please note if you do this all the changes not pushed to Github will be lost(Important!!!)
You can delete existing Gitpod wokspace from here https://gitpod.io/workspaces/
You can create a new workspace using below link https://gitpod.io/#https://github.com/shahrajesh2006/RainingRobots