Added video

This commit is contained in:
Tom van Woudenberg 2024-06-09 14:26:32 +02:00
parent a836b47e3d
commit 8b9784081c

View file

@ -49,13 +49,13 @@ You can edit it and commit the changes in the same manner as with markdown (.md)
````
````{tab-item} ... GitHub
How to make an edit and make a commit is demonstrated in the figure below, followed by a step-by-step tutorial.
How to make an edit and make a commit is demonstrated in the figure below, all steps are elaborated on in the following step by step tutorial.
```{figure} figures/user3-collaboration.gif
---
name: user3_edit_demo
---
Demonstration, video available [here](https://youtu.be/LG1vzrOLQHA)
```
In GitHub, you can directly make changes in the files on the remote repository. You can make changes to the files already in the repository using the text editor but you can also upload new files!