Added gifs and videos

This commit is contained in:
Tom van Woudenberg 2024-05-31 11:09:14 +02:00
parent ba0264a2c2
commit 6306981273
3 changed files with 19 additions and 1 deletions

@ -1 +1 @@
Subproject commit 71656612afa24342f345d9e113553b8ff3cdf4b1
Subproject commit 7e7fc7ca0109bd007d14ec95b198c552c29063ad

View file

@ -48,6 +48,15 @@ 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.
```{figure} figures/branching-github-ezgif.com-optimize.gif
---
name: branching_demo
---
Demonstration, video available [here](https://youtu.be/3ceMSLQpD70)
```
1. Open the repository in which you want to work in. In the top bar you will see your current branch `main` and next to that there is a tab called `Branches`.
<figure align="center">
@ -219,6 +228,15 @@ 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.
```{figure} figures/branching-github-ezgif.com-optimize.gif
---
name: branching_demo
---
Demonstration, video available [here](https://youtu.be/3ceMSLQpD70)
```
1. Open the repository in which you want to work in. In the top bar you will see your current branch `main` and next to that there is a tab called `Branches`.
<figure align="center">

Binary file not shown.

After

Width:  |  Height:  |  Size: 1.5 MiB