Merge branch 'main' into publish

This commit is contained in:
Tom van Woudenberg 2024-05-31 11:13:26 +02:00
commit 90e10af44a
4 changed files with 20 additions and 2 deletions

View file

@ -27,7 +27,7 @@ sphinx:
- https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.4/require.min.js
thebe_config:
use_thebe_lite: true
exclude_patterns: ["**/_*.yml", "**/*.md", "**/*.ipynb"]
exclude_patterns: ["**/_*.yml", "**/*.md", "**/*.ipynb","**/*.gif","**/*.txt","**/*.json",]
html_theme_options:
repository_url: "https://gitlab.tudelft.nl/interactivetextbooks-citg/jupyter-book-manual"
use_repository_button: true

@ -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