From cdd9c8c82ff683d18253d0f009fc4a94d06aeb0d Mon Sep 17 00:00:00 2001 From: Julie Kirsch Date: Mon, 28 Oct 2024 11:22:43 +0100 Subject: [PATCH] edit --- 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 871b400..152ac9b 100644 --- a/book/workflows/edit_book.md +++ b/book/workflows/edit_book.md @@ -347,7 +347,7 @@ Alternatively, you can also click on `Push origin` in the top bar. ```` ````{tab-item} ... using 'VS Code in your browser' -Using this feature, you can open VS Code in your browser and edit the files in your repository. This can be really useful for quick fixes when you dont want to launch GitHub Dekstop or VS Code. +Using this feature, you can open VS Code in your browser and edit the files in your repository. This can be really useful for **quick fixes** when you dont want to launch GitHub Dekstop or VS Code. However, we would recommend to limit the use of this feature to quick changes as the other workflows allow for more complex tasks. 1. Navigate to the repository you want to work in and make sure you're in the correct branch. 2. Navigate to your main page (`code`) of your repository in GitHub. @@ -715,7 +715,7 @@ Alternatively, you can also click on `Push origin` in the top bar. ```` ````{tab-item} ... using 'VS Code in your browser' -Using this feature, you can open VS Code in your browser and edit the files in your repository. This can be really useful for quick fixes when you dont want to launch GitHub Dekstop or VS Code. +Using this feature, you can open VS Code in your browser and edit the files in your repository. This can be really useful for **quick fixes** when you dont want to launch GitHub Dekstop or VS Code. However, we would recommend to limit the use of this feature to quick changes as the other workflows allow for more complex tasks. 1. Navigate to the repository you want to work in and make sure you're in the correct branch. 2. Navigate to your main page (`code`) of your repository in GitHub.