Skip to content

Latest commit

 

History

History
51 lines (28 loc) · 1.26 KB

README.md

File metadata and controls

51 lines (28 loc) · 1.26 KB

Gitpod Workspace

Push Changes to Github

Deleting Gitpod Workspace


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