Edit week01

public/assignments/week01/index.html

@@ -232,9 +232,17 @@ git push
 <p>You can find the Git tab in the left column of the window.
 Click the tab and you will see a blue "Commit" button.
 Underneath the button, you can check the changes you made from last time.
-If you're good with the changes you can select "Commit &amp; Push" in the option of the "Commit" button.</p>
+If you're good with the changes you can just simply press the "Commit" button.
+Or, you can select "Commit &amp; Push" in the option of the "Commit" button.</p>
 <p><img alt="commit in VScode" src="../../images/commit_in_VScode.jpg" /></p>
-<p>When you have pushed and everything is up to date, the blue button will return into "Commit" and will be deativated</p>
+<p>When everything is up to date in your local repo, the blue button will turn into a sync button. The number written on the button indicates how many times you commit since you last push git.
+To push you can simply press the sync button.</p>
+<p><img alt="push in VScode" src="../../images/push_in_VScode.jpg" /></p>
+<p>Finally, when you have pushed and everything is up to date, the blue button will return into "Commit" and will be deativated</p>
+<div class="admonition warning">
+<p class="admonition-title">Warning</p>
+<p>An error will sometimes occur when pushed in VScode. So, it might be better to push from command line.</p>
+</div>
 <h2 id="2-create-my-website">2. Create my website</h2>
 <h3 id="choose-a-style"><strong>Choose a style</strong></h3>
 <p>There are several optional styles available for MkDocs. <a href="https://github.com/mkdocs/mkdocs/wiki/MkDocs-Themes">third party themes</a></p>

public/index.html

@@ -215,5 +215,5 @@
 
 <!--
 MkDocs version : 1.4.2
-Build Date UTC : 2023-01-30 23:54:40.045413+00:00
+Build Date UTC : 2023-01-30 23:56:50.525293+00:00
 -->