git-rm: add page

2015-12-17 23:40:38 +02:00
parent 42155ea6dd
commit e5fd269c1b
1 changed files with 15 additions and 0 deletions
--- a/pages/common/git-rm.md
+++ b/pages/common/git-rm.md
@@ -0,0 +1,15 @@
+# git rm
+
+> Remove files from repository index and local filesystem
+
+- Remove file from repository index and filesystem
+
+`git rm {{file}}`
+
+- Remove directory
+
+`git rm -r {{directory}}`
+
+- Remove file from repository index but keep it untouched locally
+
+`git rm --cached {{file}}`