From f96f3cdee6e3f0709dee3bbb28ff6726ab40f1a9 Mon Sep 17 00:00:00 2001 From: Tom van Woudenberg Date: Mon, 27 May 2024 14:17:38 +0200 Subject: [PATCH] typo --- book/workflows/edit_book.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/workflows/edit_book.md b/book/workflows/edit_book.md index 603c47e..5685760 100644 --- a/book/workflows/edit_book.md +++ b/book/workflows/edit_book.md @@ -214,7 +214,7 @@ The new file has been staged, and we've written a Commit Message. ``` Now, we are ready to add the changes to the repository. This is done by *committing* the staged changes. To do this, simply press the big, blue "Commit" button in the Source Control menu. -In the bottom left corner, next to the branch name, click the "Synchronize Changes" button (the one that looks like this: 🔄, highlighted in the image below) to push the changes to GitLab. +6. In the bottom left corner, next to the branch name, click the "Synchronize Changes" button (the one that looks like this: 🔄, highlighted in the image below) to push the changes to GitLab. ```{figure} ../images/git-push.png