From fa23385a947e555e0647344c5afe332b10559b5b Mon Sep 17 00:00:00 2001
From: pdiogoantunes <pdiogoantunes+gitit@evolix.fr>
Date: Mon, 26 Mar 2018 15:30:10 +0200
Subject: [PATCH] git rm --cached

---
 HowtoGit.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/HowtoGit.md b/HowtoGit.md
index 3b9db6d9..6c336d6b 100644
--- a/HowtoGit.md
+++ b/HowtoGit.md
@@ -903,6 +903,12 @@ Il existe la commande shortlog pour avoir quelques stats sur un dépôt git
 $ git shortlog -sne
 ~~~
 
+### Supprimer un fichier du dépôt et non en local
+
+~~~
+$ git rm --cached file
+~~~
+
 ### Supprimer le dernier commit
 
 À faire avec précaution bien sûr :