1. Navigate to the repository you want to work in and make sure you're in the correct branch. 2. Navigate to your main page (`code`) of your repository in GitHub. 3. Press the dot key on your keyboard `.` This will open VS Code. 4. In case you want to add a new file, navigate to the explorer file (the page icon) and click on the `New File` icon. This will create a new file in the folder that you are in. Give it the right extension! ```{figure} figures/Online_VS0.PNG name: New File width: 50% align: center New File ``` 5. In case you want to make changes to an existing file, navigate to a file and make some changes. ```{figure} figures/Online_VS1.PNG name: VS Code in Browser width: 70% align: center VS Code in Browser ``` In the bottom left you can see the branch you are working in. 6. Once all the changes are made it's time to commit and push. GitHub Dev requires you to use git in VS Code. You can do that in the Source Control tab in the activity bar on the left side of the window (it looks like a branching icon). Write your commit message and click on commit & push. 7. Now let's see the result. Go back to your GitHub repo. In the top bar, go to actions. ```{figure} figures/Online_VS2.PNG name: GitHub Actions width: 70% align: center GitHub Actions ``` You will see the latest commit you just did (in this case text). After the pipeline has run, the yellow icon will turn green. Click on the commit and scroll until you see the title Deployed Branches. ```{figure} figures/Online_VS3.PNG name: Deployed Branches width: 60% align: center Deployed Branches ``` Click on the link and admire your changes:)