From 8b9784081c9bfb2193a6e907d245de5f4735c12c Mon Sep 17 00:00:00 2001 From: Tom van Woudenberg Date: Sun, 9 Jun 2024 14:26:32 +0200 Subject: [PATCH] Added video --- book/workflows/edit_book.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/book/workflows/edit_book.md b/book/workflows/edit_book.md index efe333d..581bbeb 100644 --- a/book/workflows/edit_book.md +++ b/book/workflows/edit_book.md @@ -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!