From 455f64df8bfa33e6acb629ed048f841b88b98f16 Mon Sep 17 00:00:00 2001 From: Tom van Woudenberg Date: Mon, 27 May 2024 14:17:00 +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 e684e47..603c47e 100644 --- a/book/workflows/edit_book.md +++ b/book/workflows/edit_book.md @@ -123,7 +123,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. +4. 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