Merge branch 'main' into publish

This commit is contained in:
Tom van Woudenberg 2024-06-09 14:30:32 +02:00
commit 18bc0e454f
4 changed files with 11 additions and 2 deletions

@ -1 +1 @@
Subproject commit 1d033396e8e38bb203c2db8210e5501b7099fcb1
Subproject commit edfb9080afe646e1b043752c3ba52e77410f2183

View file

@ -48,7 +48,7 @@ The circled menu is the branch selection menu.
``````{tab-item} ... GitHub
How to branch is demonstrated in the figure below, followed by a step-by-step tutorial.
How to branch is demonstrated in the figure below, all steps are elaborated on in the following step-by-step tutorial.
```{figure} figures/branching-github-ezgif.com-optimize.gif
---

View file

@ -49,6 +49,15 @@ 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, 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!
1. Navigate to the repository you want to work in and make sure you're in the correct branch.

Binary file not shown.

After

Width:  |  Height:  |  Size: 3 MiB