git.md

@@ -2,9 +2,9 @@ Git is a "version control system". It is used by developers to keep track of the
 
 Git is thus a **professional way to share code between developers**.
 
-# Install git
+# ⏬ Install git
 
-## 🍎 macOS
+### 🍎 macOS
 
 Open a terminal and type `git`. If git is not installed yet, the system will ask you if you want to install the developer tools. 
 ```
@@ -14,7 +14,7 @@ developer tools.
 ```
 Agree and proceed with the installation.
 
-## 🐧 Linux
+### 🐧 Linux
 
 On the [CECI clusters](http://www.ceci-hpc.be/), a recent version of git is available as soon as your are connected to the master node.
 
@@ -38,7 +38,7 @@ sudo apt install nano
 
 If you work on **Windows**, git is not provided by Microsoft with the OS. You must install it before the next steps (see next section).
 
-## 🪟 Windows
+### 🪟 Windows
 
 Download the latest version of git from the website: https://git-scm.com/
 
@@ -149,7 +149,7 @@ git clone git@gitlab.uliege.be:rboman/math0471.git
 
 # 📝 Learn git
 
-## 🌿 Basic git workflow
+### 🌿 Basic git workflow
 
 Create a repository:
 
@@ -257,7 +257,7 @@ Tag your project for a deadline (a "tag" is a string which identifies a particul
 
 * Do this on GitLab.
 
-## 🌐 Learn from the web...
+### 🌐 Learn from the web...
 
 There are numerous tutorials on git on the web: